diff options
Diffstat (limited to 'src/GF/Source/SkelGF.hs')
| -rw-r--r-- | src/GF/Source/SkelGF.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Source/SkelGF.hs b/src/GF/Source/SkelGF.hs index f18b5bd7b..5f5c16227 100644 --- a/src/GF/Source/SkelGF.hs +++ b/src/GF/Source/SkelGF.hs @@ -88,7 +88,7 @@ transTopDef x = case x of DefFun fundefs -> failure x DefDef defs -> failure x DefData datadefs -> failure x - DefTrans flagdefs -> failure x + DefTrans defs -> failure x DefPar pardefs -> failure x DefOper defs -> failure x DefLincat printdefs -> failure x |