X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FdependenciesParser.mli;h=57529966b9bd5e84c6658e51c52081a1490b4594;hb=e9b09b14538f770b9e65083c24e3e9cf487df648;hp=1b4a03a713815643b69ae4bb861acbb0697ab145;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/components/grafite_parser/dependenciesParser.mli b/helm/software/components/grafite_parser/dependenciesParser.mli
index 1b4a03a71..57529966b 100644
--- a/helm/software/components/grafite_parser/dependenciesParser.mli
+++ b/helm/software/components/grafite_parser/dependenciesParser.mli
@@ -29,6 +29,7 @@ exception UnableToInclude of string
 type dependency =
   | IncludeDep of string
   | UriDep of UriManager.uri
+  | InlineDep of string
 
 val pp_dependency: dependency -> string