X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FmQueryGenerator.ml;h=e56a744cd2cde7fd31ae2deda966520138dd6478;hb=efdc3184ccd0738fe48aa0056fc444fba23329e8;hp=81154695621e3bfea936f1583f29cc67237c409c;hpb=cf13d8dc120ae8745b26f8dbadea5af3f3b2193c;p=helm.git

diff --git a/helm/ocaml/mathql_generator/mQueryGenerator.ml b/helm/ocaml/mathql_generator/mQueryGenerator.ml
index 811546956..e56a744cd 100644
--- a/helm/ocaml/mathql_generator/mQueryGenerator.ml
+++ b/helm/ocaml/mathql_generator/mQueryGenerator.ml
@@ -149,7 +149,7 @@ let compose cl =
    let letin_query = 
       if ! letin = [] then fun x -> x
       else 
-        let f (vvar, msval) x = M.Let (vvar, msval, x) in 
+        let f (vvar, msval) x = M.Let (Some vvar, msval, x) in 
         iter f (fun x y z -> x (y z)) ! letin
    in 
    stat (letin_query (select_query must_query))