X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fletin.ml;h=160a7a164dcd63254c9c657371e9b557e68b0258;hb=fb4f3bb1bafb5d5541a777758b4074ee8e2de4ae;hp=3cf1fb617582391445c3036a5d921e3aaac64e82;hpb=97050ceab872afb33c5ff862f3f96743437e4346;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/letin.ml b/helm/ocaml/mathql_interpreter/letin.ml
index 3cf1fb617..160a7a164 100644
--- 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 ()
+;;
+