X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETAS%2Fmeta.helm-mathql.src;h=df553d7d522c8d180011d5add629936f10684bfd;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=9e70c97effa987881ceb1fde56bc6604f7f1abc4;hpb=915501060a420a393173e155aab3544e60005889;p=helm.git

diff --git a/helm/ocaml/METAS/meta.helm-mathql.src b/helm/ocaml/METAS/meta.helm-mathql.src
index 9e70c97ef..df553d7d5 100644
--- a/helm/ocaml/METAS/meta.helm-mathql.src
+++ b/helm/ocaml/METAS/meta.helm-mathql.src
@@ -1,4 +1,4 @@
-requires="helm-urimanager helm-cic_textual_parser"
+requires="helm-urimanager"
 version="1.3"
 archive(byte)="mathql.cma"
 archive(native)="mathql.cmxa"