Commit a0456383 authored by POTTIER Francois's avatar POTTIER Francois

Fixed a small bug that would lead to an incorrect .mli file

when --table and --external-tokens were used.
parent dabf4e7c
......@@ -66,7 +66,9 @@ let table_interface =
interpreter,
MTWithType (
MTNamedModuleType "MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE",
tctoken, WKDestructive, ttoken
"token", (* NOT [tctoken], which is qualified if [--external-tokens] is used *)
WKDestructive,
ttoken
)
);
IIValDecls (
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment