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]
| phase::tl ->
let msg =
String.concat "\n\n\n"