let in scope corrected and new database format support

[helm.git] / helm / ocaml / mathql_interpreter / letin.ml

diff --git a/helm/ocaml/mathql_interpreter/letin.ml b/helm/ocaml/mathql_interpreter/letin.ml
index 3cf1fb617582391445c3036a5d921e3aaac64e82..160a7a164dcd63254c9c657371e9b557e68b0258 100644 (file)
--- a/helm/ocaml/mathql_interpreter/letin.ml
+++ b/helm/ocaml/mathql_interpreter/letin.ml
@@ -55,7 +55,11 @@ let letref_ex rvar =
       try
        List.assoc rvar pool
       with
-       Not_found -> let _ = print_endline "nun ce sta" in []
+       Not_found -> []
      )
 ;;
 
+let letdispose () =
+ let _ = letin_pool = ref None in ()
+;;
+