X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;fp=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;h=c45f9dee8c7c65cd7423d260be848fc6752938c9;hb=637eb6adc7e25105a7d317a280d553826f8c5369;hp=89f635aff227e8eba0c7347e0d1730c3c8f0ad13;hpb=eddba0cc1b08d5d787793095c5fb0d39ee5ec2f7;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 89f635aff..c45f9dee8 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -51,10 +51,12 @@ let check () = Dbconn.pgc ()
 
 exception BooleExpTrue
 
-let stat = ref true
+let stat = ref false
 
 let set_stat b = stat := b
 
+let get_stat () = ! stat
+
 (* valuta una MathQL.set_exp e ritorna un MathQL.resource_set *)
 
 let rec exec_set_exp c = function