]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
patched and some funtions added
[helm.git] / helm / ocaml / mathql_interpreter / mQueryInterpreter.ml
index 511e01c701e5b0eef27802a6aec22628807b80b3..a459fe82954e9eaa02ca09e9c3d07bac31712dad 100644 (file)
@@ -134,7 +134,7 @@ 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") 
+         L.eval e (F.text_out_spec (C.log h) "\n") F.text_in_spec 
             p pl xl
    and eval_grp c = function
       | M.Attr gs ->