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 b2ead08..563fd5d 100644 --- a/src/lift.cpp +++ b/src/lift.cpp @@ -113,7 +113,7 @@ AFn::lift(CEnv& cenv, Code& code) throw() // Create definition for implementation fn ASymbol* implName = cenv.penv.sym(impl->name); - ADef* def = tup<ADef>(loc, cenv.penv.sym("def"), implName, impl, NULL); + ADef* def = tup<ADef>(loc, cenv.penv.sym("def"), implName, impl, NULL); code.push_back(def); AType* implT = new AType(*type); // Type of the implementation function |