X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_test%2Fmqgtop.ml;h=0ef1ca981f4f86377d3aac9141b5d773e18a8def;hb=65e3c9976212e04a4678ff9ce9e3c2f436d06d33;hp=9e1dcde0d99dba624ffc4225169dc9ca33d55915;hpb=91db309a46f8b6f100a36abbc568deec10a8d1df;p=helm.git

diff --git a/helm/ocaml/mathql_test/mqgtop.ml b/helm/ocaml/mathql_test/mqgtop.ml
index 9e1dcde0d..0ef1ca981 100644
--- a/helm/ocaml/mathql_test/mqgtop.ml
+++ b/helm/ocaml/mathql_test/mqgtop.ml
@@ -157,8 +157,8 @@ let locate name =
 
 let mpattern n m l =
    let queries = ref [] in
-   let univ = Some [G.builtin "MH"; G.builtin "IH";
-                    G.builtin "MC"; G.builtin "IC"] in
+   let univ = Some [G.builtin G.MainHypothesis; G.builtin G.InHypothesis;
+                    G.builtin G.MainConclusion; G.builtin G.InConclusion] in
    let handle = get_handle () in
    let rec pattern level = function
       | []           -> ()
@@ -194,10 +194,11 @@ let mpattern n m l =
 let mbackward n m l =
    let queries = ref [] in
    let torigth_restriction (u, b) =
-      let p = if b then G.builtin "MC" else G.builtin "IC" in
+      let p = if b then G.builtin G.MainConclusion 
+                   else G.builtin G.InConclusion in
       (u, p, None)
    in
-   let univ = Some [G.builtin "MC"; G.builtin "IC"] in
+   let univ = Some [G.builtin G.MainConclusion; G.builtin G.InConclusion] in
    let handle = get_handle () in
    let rec backward level = function
       | []           -> ()