X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FmQueryLevels2.mli;h=83f6814142b937a04e07ca280a9e45c2efd5d1b7;hb=12dd0be29a6a7dc6ac7a571fa99e2aa728fce4d2;hp=f628183632cdc536ffc69c2c0bcf6e081d9d77b0;hpb=931f10c61b4e3914474955a94a05cf43b5fa2bc0;p=helm.git

diff --git a/helm/ocaml/mathql_generator/mQueryLevels2.mli b/helm/ocaml/mathql_generator/mQueryLevels2.mli
index f62818363..83f681414 100644
--- a/helm/ocaml/mathql_generator/mQueryLevels2.mli
+++ b/helm/ocaml/mathql_generator/mQueryLevels2.mli
@@ -34,4 +34,4 @@
 (*                                                                            *)
 (******************************************************************************)
 
-val get_constraints: Cic.term -> MQueryGenerator.must_restrictions
+val get_constraints: Cic.term -> MQGTypes.must_restrictions