added missing depending on (CSC's) helm-cic_textual_parser

diff --git a/helm/ocaml/METAS/meta.helm-mathql.src b/helm/ocaml/METAS/meta.helm-mathql.src
index df553d7d522c8d180011d5add629936f10684bfd..9e70c97effa987881ceb1fde56bc6604f7f1abc4 100644 (file)
--- 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"