diff options
Diffstat (limited to 'src/GF/UseGrammar')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index 7ab28b34e..3fb386c79 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -303,6 +303,7 @@ customUntokenizer = ,(strCI "codelit", const $ formatAsCodeLit) ,(strCI "concat", const $ concat . words) ,(strCI "glue", const $ performBinds) + ,(strCI "reverse", const $ reverse) ,(strCI "bind", const $ performBinds) -- backward compat -- add your own untokenizers here ] |
