summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/html/ddl.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/ddl.html b/doc/html/ddl.html
index f090366..5c9644f 100644
--- a/doc/html/ddl.html
+++ b/doc/html/ddl.html
@@ -214,7 +214,7 @@ This section contains a brief explanation of the symbols used in the DDL.
<opaque_data> ::= TBD
-<enum_data> ::= an integer
+<enum_data> ::= <enum_symbol>
//maybe will be <enum_symbol> in the future
<reference_data> ::= <object_ref_data> | <data_region_data> | NULL