diff options
Diffstat (limited to 'src/GF/UseGrammar/Custom.hs')
| -rw-r--r-- | src/GF/UseGrammar/Custom.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/GF/UseGrammar/Custom.hs b/src/GF/UseGrammar/Custom.hs index e158a19c4..40c625612 100644 --- a/src/GF/UseGrammar/Custom.hs +++ b/src/GF/UseGrammar/Custom.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/06/17 12:46:05 $ --- > CVS $Author: bringert $ --- > CVS $Revision: 1.64 $ +-- > CVS $Date: 2005/06/23 14:32:44 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.65 $ -- -- A database for customizable GF shell commands. -- @@ -404,6 +404,7 @@ customUntokenizer = ,(strCI "codelit", const $ formatAsCodeLit) ,(strCI "concat", const $ concatRemSpace) ,(strCI "glue", const $ performBinds) + ,(strCI "finnish", const $ performBindsFinnish) ,(strCI "reverse", const $ reverse) ,(strCI "bind", const $ performBinds) -- backward compat -- add your own untokenizers here |