diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/PGF/AbsCompute.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PGF/AbsCompute.hs b/src/PGF/AbsCompute.hs index f38b8d952..0997ca952 100644 --- a/src/PGF/AbsCompute.hs +++ b/src/PGF/AbsCompute.hs @@ -56,7 +56,7 @@ beta vv c = case c of subst :: [CId] -> Subst -> Expr -> Expr subst xs g e = case e of - EAbs x b -> EAbs x (subst (x:xs) g e) + EAbs x b -> EAbs x (subst (x:xs) g e) ---- TODO: refresh variables EApp f a -> EApp (substg f) (substg a) EVar x -> maybe e id $ lookup x g _ -> e |