urimanager removed

[helm.git] / matita / components / grafite_parser / dependenciesParser.mli

diff --git a/matita/components/grafite_parser/dependenciesParser.mli b/matita/components/grafite_parser/dependenciesParser.mli
index 57529966b9bd5e84c6658e51c52081a1490b4594..cbdc028ddb341397f9ab3580553d977e53d7c2b0 100644 (file)
--- a/matita/components/grafite_parser/dependenciesParser.mli
+++ b/matita/components/grafite_parser/dependenciesParser.mli
@@ -28,7 +28,7 @@ exception UnableToInclude of string
   (* statements meaningful for matitadep *)
 type dependency =
   | IncludeDep of string
-  | UriDep of UriManager.uri
+  | UriDep of NUri.uri
   | InlineDep of string
 
 val pp_dependency: dependency -> string