X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_interpreter%2Fselect.ml;h=960a0a2ba977d91911654a23e92ea2cf81871b20;hb=61872e154b77378c203e4a9b179b4067cfe7f23b;hp=c25ea26254fb9efaa45709efb7818d62a1bf5d71;hpb=dec50888f98015c937283acc14e2ffceccc04a11;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/select.ml b/helm/ocaml/mathql_interpreter/select.ml
index c25ea2625..960a0a2ba 100644
--- a/helm/ocaml/mathql_interpreter/select.ml
+++ b/helm/ocaml/mathql_interpreter/select.ml
@@ -26,7 +26,7 @@
 (*
  * implementazione del comando SELECT
  *)
-
+(*
 open MathQL;;
 open Func;;
 open Utility;;
@@ -147,4 +147,7 @@ let select_ex env avar alist abool =
    print_endline (string_of_float (Unix.time () -. t) ^ "s") ;
    flush stdout ;
    result
-;;
+;; *)
+
+let select_ex rvar rset bexp
+