diff options
Diffstat (limited to 'src-3.0/PGF/ShowLinearize.hs')
| -rw-r--r-- | src-3.0/PGF/ShowLinearize.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-3.0/PGF/ShowLinearize.hs b/src-3.0/PGF/ShowLinearize.hs index 9aa316ba9..2aecbffbd 100644 --- a/src-3.0/PGF/ShowLinearize.hs +++ b/src-3.0/PGF/ShowLinearize.hs @@ -77,7 +77,7 @@ recordLinearize gfcc lang = prRecord . recLinearize gfcc lang recLinearize :: GFCC -> CId -> Exp -> Record recLinearize gfcc lang exp = mkRecord typ $ linExp gfcc lang exp where typ = case exp of - DTr _ (AC f) _ -> lookParamLincat gfcc lang $ valCat $ lookType gfcc f + EApp f _ -> lookParamLincat gfcc lang $ valCat $ lookType gfcc f -- show GFCC term termLinearize :: GFCC -> CId -> Exp -> String |