diff options
Diffstat (limited to 'toplevel')
-rw-r--r-- | toplevel/toplevellib.mllib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/toplevellib.mllib b/toplevel/toplevellib.mllib index 906aeb4334..a5e8b03f24 100644 --- a/toplevel/toplevellib.mllib +++ b/toplevel/toplevellib.mllib @@ -16,4 +16,4 @@ Translclass Translmod Simplif Runtimedef Meta Instruct Bytegen Printinstr Opcodes Emitcode Bytesections Dll Symtable Bytelink Bytelibrarian Bytepackager -Pparse Errors Compile Genprintval Toploop Trace Topdirs Topmain +Pparse Errors Compile Main_args Genprintval Toploop Trace Topdirs Topmain |