X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2FMETAS%2Fmeta.helm-grafite_parser.src;h=abf16caeb042ff6fb9a3617766cc59553dafbfd5;hb=683978a2627cf1ce15673360f26806593d22f7b5;hp=d921b55889574bd0b971f5262a156e6794a9a217;hpb=21a10d0abc0636a49f12fc066f91270cec4d63d1;p=helm.git

diff --git a/helm/software/components/METAS/meta.helm-grafite_parser.src b/helm/software/components/METAS/meta.helm-grafite_parser.src
index d921b5588..abf16caeb 100644
--- a/helm/software/components/METAS/meta.helm-grafite_parser.src
+++ b/helm/software/components/METAS/meta.helm-grafite_parser.src
@@ -1,4 +1,4 @@
-requires="helm-lexicon helm-grafite ulex"
+requires="helm-lexicon helm-grafite ulex08"
 version="0.0.1"
 archive(byte)="grafite_parser.cma"
 archive(native)="grafite_parser.cmxa"