-
François Pottier authored
This means that CompCert must now be compiled in --table mode. At this point, the error message for a syntax error is still just "syntax error".
8d1a15f7
This means that CompCert must now be compiled in --table mode. At this point, the error message for a syntax error is still just "syntax error".