From: natile <??>
Date: Wed, 9 Oct 2002 15:54:52 +0000 (+0000)
Subject: Whithout prints.
X-Git-Tag: new_mathql_before_first_merge~9
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=869706b3ab84bed5e463735dab717867b76ea766;hp=55ec3b1290f0de467c51d163fef22fd68bb0823e;p=helm.git

Whithout prints.
---

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index f3888c996..7731d9e2e 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -106,21 +106,11 @@ and exec_boole_exp c = function
    | MathQL.Not x      -> not (exec_boole_exp c x)
    | MathQL.And (x, y) -> (exec_boole_exp c x) && (exec_boole_exp c y)
    | MathQL.Or (x, y)  -> (exec_boole_exp c x) || (exec_boole_exp c y)
-   | MathQL.Sub (vexp1, vexp2) -> let res = sub_ex (exec_val_exp c vexp1) (exec_val_exp c vexp2)
-                                  in
-				   if res then (print_endline"SUB: TRUE";flush stdout)
-				   else (print_endline"SUB: FALSE";flush stdout);
-				   res
-   | MathQL.Meet (vexp1, vexp2) -> let res = meet_ex (exec_val_exp c vexp1) (exec_val_exp c vexp2)
-   				   in
-                                   if res then (print_endline"MEET: TRUE";flush stdout)
-				   else (print_endline"MEET: FALSE";flush stdout);
-				   res
-				   
+   | MathQL.Sub (vexp1, vexp2) -> sub_ex (exec_val_exp c vexp1) (exec_val_exp c vexp2)
+   | MathQL.Meet (vexp1, vexp2) -> meet_ex (exec_val_exp c vexp1) (exec_val_exp c vexp2)
    | MathQL.Eq (vexp1, vexp2) -> (exec_val_exp c vexp1) = (exec_val_exp c vexp2)
    | MathQL.Ex l bexp -> 
-   	let res = 
-	if l = [] then (print_endline"LISTA VUOTA!";flush stdout;(exec_boole_exp c bexp))
+	if l = [] then (exec_boole_exp c bexp)
    	else
    	 let latt = List.map (fun uri -> 
                                 let (r,attl) = List.assoc uri c.rvars in (uri,attl)) l (*latt = l + attributi*)
@@ -136,11 +126,8 @@ and exec_boole_exp c = function
 				     in	      
 			              sub_prod attl 
    	 in
-	 prod c latt; print_endline"SONO ARRIVATO ALLA FINE!"; flush stdout;false
+	 prod c latt;false
 	 with BooleExpTrue -> true
-	in if res then (print_endline"TRUE"; flush stdout)
-	   else (print_endline"FALSE"; flush stdout);
-	   res
 
 (* valuta una MathQL.val_exp e ritorna un MathQL.value *)