X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_generator%2FmQGUtil.ml;h=36dd0653c67f83256c4276dc8b8540798739fabe;hb=60c7321771851b82493bb202185ee184f1e7a3d1;hp=a7a6bc6a49ea01e378f1cfcaa754c9163d15c530;hpb=0e74e8e94eada756157addce67e4adeb8dff1feb;p=helm.git

diff --git a/helm/ocaml/mathql_generator/mQGUtil.ml b/helm/ocaml/mathql_generator/mQGUtil.ml
index a7a6bc6a4..36dd0653c 100644
--- a/helm/ocaml/mathql_generator/mQGUtil.ml
+++ b/helm/ocaml/mathql_generator/mQGUtil.ml
@@ -142,8 +142,3 @@ let set_full_position pos depth = match pos with
 let set_main_position pos depth = match pos with
    | `MainHypothesis _ -> `MainHypothesis depth
    | `MainConclusion _ -> `MainConclusion depth
-
-let universe_for_search_pattern =
-   [T.MainHypothesis; T.InHypothesis; T.MainConclusion; T.InConclusion]
-   
-let universe_for_match_conclusion = [T.MainConclusion; T.InConclusion]