removed dependency on cic_textual_parser where this dep was used only

for term_of_uri, now in CicUtil

diff --git a/helm/ocaml/METAS/meta.helm-mathql.src b/helm/ocaml/METAS/meta.helm-mathql.src
index 9e70c97effa987881ceb1fde56bc6604f7f1abc4..df553d7d522c8d180011d5add629936f10684bfd 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 helm-cic_textual_parser"
+requires="helm-urimanager"
 version="1.3"
 archive(byte)="mathql.cma"
 archive(native)="mathql.cmxa"

diff --git a/helm/ocaml/METAS/meta.helm-mathql_interpreter.src b/helm/ocaml/METAS/meta.helm-mathql_interpreter.src
index 27ebe577634084dbea67e9ae58a902d4671ad1cb..42275abf62e135f58c25097d726e0aa6f989733d 100644 (file)
--- a/helm/ocaml/METAS/meta.helm-mathql_interpreter.src
+++ b/helm/ocaml/METAS/meta.helm-mathql_interpreter.src
@@ -1,4 +1,4 @@
-requires="helm-cic helm-cic_textual_parser postgres mysql helm-mathql helm-registry"
+requires="helm-cic postgres mysql helm-mathql helm-registry"
 #natile-galax 
 version="1.3"
 archive(byte)="mathql_interpreter.cma"

diff --git a/helm/ocaml/METAS/meta.helm-tactics.src b/helm/ocaml/METAS/meta.helm-tactics.src
index 8bc55477c0f1f37029e5678ebf265d99f02e6d45..28943c17d3716994d42dbdc6dde9b12ae164c386 100644 (file)
--- a/helm/ocaml/METAS/meta.helm-tactics.src
+++ b/helm/ocaml/METAS/meta.helm-tactics.src
@@ -1,4 +1,4 @@
-requires="helm-cic_textual_parser helm-cic_proof_checking helm-cic_unification helm-mathql_generator helm-mathql_interpreter helm-mathql helm-metadata"
+requires="helm-cic_proof_checking helm-cic_unification helm-mathql_generator helm-mathql_interpreter helm-mathql helm-metadata"
 version="0.0.1"
 archive(byte)="tactics.cma"
 archive(native)="tactics.cmxa"