From 2b9e31455d5a5e93b5d52945a60a391a5c3adc2c Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 26 Oct 2004 11:24:32 +0000
Subject: work on checking equations

---
 src/GF/Grammar/PrGrammar.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/GF/Grammar/PrGrammar.hs')

diff --git a/src/GF/Grammar/PrGrammar.hs b/src/GF/Grammar/PrGrammar.hs
index ec01cdab5..08a506611 100644
--- a/src/GF/Grammar/PrGrammar.hs
+++ b/src/GF/Grammar/PrGrammar.hs
@@ -162,7 +162,7 @@ prBinds bi = if null bi
    prValDecl (x,t) = prParenth (prt_ x +++ ":" +++ prt_ t)
 
 instance Print Val where
-  prt (VGen i x) = prt x ---- ++ "-$" ++ show i ---- latter part for debugging
+  prt (VGen i x) = prt x ++ "{-" ++ show i ++ "-}" ---- latter part for debugging
   prt (VApp u v) = prt u +++ prv1 v
   prt (VCn mc) = prQIdent_ mc
   prt (VClos env e) = case e of
-- 
cgit v1.2.3