From a3ee89dab26307ce1cedc8041ede995a97d51446 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 5 Jun 2009 22:23:42 +0000 Subject: [PATCH] bugfix in Include syntax: it was changed and committed by mistake :( --- helm/software/components/grafite_parser/dependenciesParser.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/grafite_parser/dependenciesParser.ml b/helm/software/components/grafite_parser/dependenciesParser.ml index 923739924..53fb7ab6d 100644 --- a/helm/software/components/grafite_parser/dependenciesParser.ml +++ b/helm/software/components/grafite_parser/dependenciesParser.ml @@ -56,7 +56,7 @@ let parse_dependencies lexbuf = true, (UriDep (UriManager.uri_of_string u) :: acc) | [< '("IDENT", "include"); '("QSTRING", fname) >] -> true, (IncludeDep fname :: acc) - | [< '("IDENT", "include"); '("IDENT", "lexicon"); '("QSTRING", fname) >] -> + | [< '("IDENT", "include"); '("IDENT", "source"); '("QSTRING", fname) >] -> true, (IncludeDep fname :: acc) | [< '("IDENT", "include'"); '("QSTRING", fname) >] -> true, (IncludeDep fname :: acc) -- 2.39.2