X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQueryInterpreter.ml;h=a852affdeeaa3bf03df23426f8b63686483c1500;hb=88271fa4a71a3642880d85e9efe32ce2306f0661;hp=a459fe82954e9eaa02ca09e9c3d07bac31712dad;hpb=605740107642920d90d0c88544d576d7836a1a25;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQueryInterpreter.ml b/helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
index a459fe829..a852affde 100644
--- a/helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
+++ b/helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
@@ -134,8 +134,11 @@ let execute h x =
 	 select_aux (eval_query c x)
       | M.Fun p pl xl -> 
          let e = {L.eval = eval_query c; L.conn = h} in
-         L.eval e (F.text_out_spec (C.log h) "\n") F.text_in_spec 
+         L.fun_eval e (F.text_out_spec (C.log h) "\n") F.text_in_spec 
             p pl xl
+      | M.Gen p xl -> 
+         let e = {L.eval = eval_query c; L.conn = h} in
+	 eval_query c (L.gen_eval e p xl)
    and eval_grp c = function
       | M.Attr gs ->
          let attr_aux g (p, y) = U.mql_union g [p, proj (eval_query c y)] in