diff options
| author | krasimir <krasimir@chalmers.se> | 2010-06-08 09:53:13 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-06-08 09:53:13 +0000 |
| commit | e8428b3d6725456060072d9fc81591f45925e7d1 (patch) | |
| tree | 1117120c7d04850f2e350c6c1101ec24ee0f8901 | |
| parent | 7d71704b3c93dd5009e19512a1a8bdab3b7567a1 (diff) | |
revert change in GF.Grammar.Printer that was intended for debugging only
| -rw-r--r-- | src/compiler/GF/Grammar/Printer.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index 8a2eae61d..69c9e8860 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -168,7 +168,7 @@ ppTerm q d (P t l) = prec d 5 (ppTerm q 5 t <> char '.' <> ppLabel l) ppTerm q d (Cn id) = ppIdent id
ppTerm q d (Vr id) = ppIdent id
ppTerm q d (Q id) = ppQIdent q id
-ppTerm q d (QC id) = char '!' <> ppQIdent q id <> char '!'
+ppTerm q d (QC id) = ppQIdent q id
ppTerm q d (Sort id) = ppIdent id
ppTerm q d (K s) = str s
ppTerm q d (EInt n) = integer n
|