Skip to content
Snippets Groups Projects
Commit 0158b41a authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Fix some mli files that were not compiled (because 'make debug', that does

not compile them is (well, was) the default...).

also, during pretty-printing, remove the type in the constant definition
(e.g., "const x = 42;" instead of "const x = 42:int;"), except if it is an abstract
constant of course
parent b6db7c6b
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment