with
| NCicUnification.UnificationFailure _
| NCicUnification.Uncertain _
- | MultiPassDisambiguator.DisambiguationError _ ->
+ | GrafiteDisambiguate.Error _ ->
raise (GrafiteTypes.Command_error "bad source pattern"))
| _ -> assert false
in
let fresh_uri status prefix suffix =
let mk x = NUri.uri_of_string (status#baseuri ^ "/" ^ prefix ^ x ^ suffix) in
let rec diverge u i =
- if NCicLibrary.aliases_of u = [] then u
+ if NCicLibrary.aliases_of status u = [] then u
else diverge (mk ("__" ^ string_of_int i)) (i+1)
in
diverge (mk "") 0
~refresh_uri_in_reference ~alias_only status
=
if not alias_only then
- List.fold_right (aux ~refresh_uri_in_term:(refresh_uri_in_term (status:>NCic.status))) l status
+ List.fold_right
+ (aux ~refresh_uri_in_term:(refresh_uri_in_term
+ (status:>NCicEnvironment.status))) l status
else
status
in