in
watch_statuses lexicon_status grafite_status ;
false, lexicon_status, grafite_status, (new_statuses @ statuses))
- with exn ->
+ with exn when (not (Helm_registry.get_bool "matita.debug")) ->
raise (EnrichedWithLexiconStatus (exn, lexicon_status))
in
if stop then s else loop l g s