14 Jul
2017
14 Jul
'17
11:16
Hi Chris,
[!] Error LPARSE Type
We have a problem with our makefile, indeed. Please "make clean" and try again, you're still running an old lparse_test.ml file that's been removed (well, renamed to elab_test.ml and then changed). If you can figure out to get our makefile to do that automatically, even better.
Stefan