diff options
Diffstat (limited to 'src/lift.cpp')
| -rw-r--r-- | src/lift.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lift.cpp b/src/lift.cpp index 83c0491..3f0e1bf 100644 --- a/src/lift.cpp +++ b/src/lift.cpp @@ -47,7 +47,7 @@ AFn::lift(CEnv& cenv) void ACall::lift(CEnv& cenv) { - AFn* c = cenv.tenv.resolve(at(0))->to<AFn*>(); + AFn* c = cenv.resolve(at(0))->to<AFn*>(); AType argsT(loc); // Lift arguments |