exit 0
end
with
- | Sys.Break -> MatitaLog.error "user break!"; exit ~-1
+ | Sys.Break ->
+ MatitaLog.error "user break!";
+ if mode = `COMPILER then
+ exit ~-1
+ else
+ pp_ocaml_mode ()
| MatitaEngine.Drop ->
if mode = `COMPILER then
exit 1
if mode = `COMPILER then
exit 1
else
- go ()
+ pp_ocaml_mode ()