From de3ad4cbd7736e855b6d2a9f140cd2fdb60f089e Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sun, 2 May 2004 12:36:19 +0000
Subject: generation in jgf

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

(limited to 'src/GF/Shell')

diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs
index 678d3d7da..345e5cd02 100644
--- a/src/GF/Shell/Commands.hs
+++ b/src/GF/Shell/Commands.hs
@@ -325,7 +325,7 @@ mkRefineMenuAll env sstate =
     _ -> b
   ifShort = ifOpt sizeDisplay "short"
   ifTyped t = ifOpt typeDisplay "typed" t ""
-  prOrLinExp t = prt_ t ---- 
+  prOrLinExp t = err (const $ prt_ t) prOrLinTree $ annotateInState cgr t state
   prOrLinRef t = case t of
     G.Q m f  ->  printname env sstate (m,f) 
     G.QC m f ->  printname env sstate (m,f) 
-- 
cgit v1.2.3