X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fl2JIT.ml;fp=src%2Fl2JIT.ml;h=90105d8795339eecf2a2e7bc42d26182fac14db0;hb=3791216bfb2b9d966718f83fd414e8bcd5f7a066;hp=de41e62b898f49925e7ab8b8b1ae3dbc793b3cff;hpb=468560acb04b8936936080e81152d926c251df30;p=SXSI%2Fxpathcomp.git

diff --git a/src/l2JIT.ml b/src/l2JIT.ml
index de41e62..90105d8 100644
--- a/src/l2JIT.ml
+++ b/src/l2JIT.ml
@@ -195,8 +195,8 @@ let compute_jump auto tree tag states dir =
   else
     let jkind = Ata.top_down_approx auto states tree in
     let jump = translate_jump tree tag jkind dir states in
-    LOG("level2-jit", 2,
-	__ "Computed jumps for %s %a %s: %a\n%!"
+    LOG(__ "level2-jit" 2
+	"Computed jumps for %s %a %s: %a\n%!"
 	  (Tag.to_string tag)
 	  StateSet.print states
 	  (if dir == DIR_LEFT then "left" else "right")