summaryrefslogtreecommitdiff
path: root/lex/compact.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lex/compact.mli')
-rw-r--r--lex/compact.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/lex/compact.mli b/lex/compact.mli
index e52dc7d2c8..18363c3d4d 100644
--- a/lex/compact.mli
+++ b/lex/compact.mli
@@ -24,7 +24,7 @@ type lex_tables =
tbl_backtrk_code : int array; (* nothing / code when Remember *)
(* moves to execute before transitions (compacted) *)
tbl_default_code : int array;
- tbl_trans_code : int array;
+ tbl_trans_code : int array;
tbl_check_code : int array;
(* byte code itself *)
tbl_code: int array;}