None, "Type checking assertion failed: " ^ Lazy.force msg
| LibrarySync.AlreadyDefined s ->
None, "Already defined: " ^ UriManager.string_of_uri s
- | MatitaDisambiguator.DisambiguationError (offset,errorll) ->
+ | GrafiteDisambiguator.DisambiguationError (offset,errorll) ->
let rec aux n ?(dummy=false) (prev_msg,phases) =
function
[] -> [prev_msg,phases]