From e8428b3d6725456060072d9fc81591f45925e7d1 Mon Sep 17 00:00:00 2001 From: krasimir Date: Tue, 8 Jun 2010 09:53:13 +0000 Subject: [PATCH] revert change in GF.Grammar.Printer that was intended for debugging only --- src/compiler/GF/Grammar/Printer.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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