diff options
Diffstat (limited to 'src/GF/Devel/PrintGFCC.hs')
| -rw-r--r-- | src/GF/Devel/PrintGFCC.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Devel/PrintGFCC.hs b/src/GF/Devel/PrintGFCC.hs index 18c174cd7..864fc07c0 100644 --- a/src/GF/Devel/PrintGFCC.hs +++ b/src/GF/Devel/PrintGFCC.hs @@ -13,3 +13,4 @@ prGFCC printer gr = case printer of "js" -> gfcc2js gr "jsref" -> gfcc2grammarRef gr _ -> printGFCC gr + |