diff options
| author | aarne <unknown> | 2004-05-02 12:36:19 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-05-02 12:36:19 +0000 |
| commit | de3ad4cbd7736e855b6d2a9f140cd2fdb60f089e (patch) | |
| tree | 76d646cf784807c72635f4008471fb12be38128e /src/GF/Shell | |
| parent | 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a (diff) | |
generation in jgf
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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) |