diff options
Diffstat (limited to 'src/lift.cpp')
| -rw-r--r-- | src/lift.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/lift.cpp b/src/lift.cpp index 499fadd..636757c 100644 --- a/src/lift.cpp +++ b/src/lift.cpp @@ -67,6 +67,12 @@ ACall::lift(CEnv& cenv) } void +ADot::lift(CEnv& cenv) +{ + (*(begin() + 1))->lift(cenv); +} + +void ADef::lift(CEnv& cenv) { // Define stub first for recursion |