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)