((new_grafite_status,new_lexicon_status),None)::intermediate_states
exception TryingToAdd of string
-exception EnrichedWithLexiconStatus of exn * LexiconEngine.status
+exception EnrichedWithStatus of exn * LexiconEngine.status * GrafiteTypes.status
let out = ref ignore
watch_statuses lexicon_status grafite_status ;
false, lexicon_status, grafite_status, (new_statuses @ statuses))
with exn when not matita_debug ->
- raise (EnrichedWithLexiconStatus (exn, lexicon_status))
+ raise (EnrichedWithStatus (exn, lexicon_status, grafite_status))
in
if stop then s else loop l g s
in