]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_generator/mQueryGenerator.ml
update
[helm.git] / helm / ocaml / mathql_generator / mQueryGenerator.ml
index 81154695621e3bfea936f1583f29cc67237c409c..e56a744cd2cde7fd31ae2deda966520138dd6478 100644 (file)
@@ -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))