X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FresJIT.ml;h=25502b6a6e3eb5863fc073f7621d76c9d9f88a2a;hb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;hp=64c96246116946d6f786b81bbed58b43e3a63e3b;hpb=db0ad408721f202e33785958211fe6e4228fce8f;p=SXSI%2Fxpathcomp.git

diff --git a/src/resJIT.ml b/src/resJIT.ml
index 64c9624..25502b6 100644
--- a/src/resJIT.ml
+++ b/src/resJIT.ml
@@ -292,11 +292,11 @@ DEFINE EXEC_REC_TEMPLATE =
 	    end)
 
 DEFINE EXEC_TEMPLATE =
-	  (TRACE("res-jit", 3, __ "Node %i:\n" (Node.to_int t));
+(*	  (TRACE("res-jit", 3, __ "Node %i:\n" (Node.to_int t));
 	   TRACE("res-jit", 3, __ " LEFT  : %a\n" pr_slot slot1);
-	   TRACE("res-jit", 3, __ " RIGHT : %a\n" pr_slot slot2);
+	   TRACE("res-jit", 3, __ " RIGHT : %a\n" pr_slot slot2); *)
 	   exec slot slot1 slot2 t code;
-	   TRACE("res-jit", 3, __ " RES   : %a\n\n%!" pr_slot slot))
+(*	   TRACE("res-jit", 3, __ " RES   : %a\n\n%!" pr_slot slot))*)
 
 
 module type S =