diff options
Diffstat (limited to 'src-3.0/GF/Grammar/PrGrammar.hs')
| -rw-r--r-- | src-3.0/GF/Grammar/PrGrammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-3.0/GF/Grammar/PrGrammar.hs b/src-3.0/GF/Grammar/PrGrammar.hs index f605a8de7..9867aaef5 100644 --- a/src-3.0/GF/Grammar/PrGrammar.hs +++ b/src-3.0/GF/Grammar/PrGrammar.hs @@ -233,7 +233,7 @@ prExp e = case e of -- | option @-strip@ strips qualifications prTermOpt :: Options -> Term -> String -prTermOpt opts = if oElem nostripQualif opts then prt else prExp +prTermOpt opts = if PrinterStrip `elem` flag optPrinter opts then prt else prExp -- | to get rid of brackets in the editor prRefinement :: Term -> String |