X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_parser%2FdependenciesParser.mli;h=cbdc028ddb341397f9ab3580553d977e53d7c2b0;hb=939dfce0cb12f7e7760a24d89f6812890b9df431;hp=57529966b9bd5e84c6658e51c52081a1490b4594;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/grafite_parser/dependenciesParser.mli b/matita/components/grafite_parser/dependenciesParser.mli
index 57529966b..cbdc028dd 100644
--- 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