summaryrefslogtreecommitdiff
path: root/parser.fun
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-11 02:30:01 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-11 02:30:01 +0200
commit69cf1be454c7caae026107e645c5343365b1be19 (patch)
tree661a89ab76a730d651a464735fb654ef099e55ca /parser.fun
parent512985277bf70e425ab6e96b3aea69ba91426afc (diff)
Xor idiom
Diffstat (limited to 'parser.fun')
-rw-r--r--parser.fun2
1 files changed, 1 insertions, 1 deletions
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)