diff options
Diffstat (limited to 'src/repl.cpp')
| -rw-r--r-- | src/repl.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/repl.cpp b/src/repl.cpp index 4fdbb53..f6f8a26 100644 --- a/src/repl.cpp +++ b/src/repl.cpp @@ -42,7 +42,7 @@ readParseType(CEnv& cenv, Cursor& cursor, istream& is, AST*& exp, AST*& ast) ast = cenv.penv.parse(exp); // Parse input Constraints c(cenv.tsubst); - ast->constrain(cenv.tenv, c); // Constrain types + resp_constrain(cenv.tenv, c, ast); // Constrain types //cout << "(CONSTRAINTS " << endl << c << ")" << endl; |