From 69cf1be454c7caae026107e645c5343365b1be19 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Mon, 11 Aug 2025 02:30:01 +0200
Subject: Xor idiom

---
 parser.fun | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parser.fun')

diff --git a/parser.fun b/parser.fun
index 6ee35ce..f080d9e 100644
--- a/parser.fun
+++ b/parser.fun
@@ -3389,7 +3389,7 @@ functor Parser(structure Tree: TREE; structure P: PPC;
 
     val offset = case ctx of Ctx v => length $ #localScopes v
   in
-    printf R offset
+    dprintf R offset
         `"local var " P.?nid `"(" I varId `"): " Pctype t `"\n" %;
 
     (SOME $ LocalId (varId, ini), ctx)
-- 
cgit v1.2.3