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

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