;;
let build options fname =
+ let matita_debug = Helm_registry.get_bool "matita.debug" in
let compile opts fname =
try
GrafiteSync.push ();
GrafiteParser.pop ();
GrafiteSync.pop ();
false
- | exn ->
+ | exn when not matita_debug ->
HLog.error ("Unexpected " ^ snd(MatitaExcPp.to_string exn));
assert false
in