diff options
Diffstat (limited to 'src/constrain.cpp')
| -rw-r--r-- | src/constrain.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/constrain.cpp b/src/constrain.cpp index 36a82d1..d419036 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -201,7 +201,7 @@ ADot::constrain(TEnv& tenv, Constraints& c) const for (int i = 0; i < idx->val; ++i) objT->push_back(tenv.var()); objT->push_back(retT); - objT->push_back(tenv.ellipses); + objT->push_back(new AType(obj->loc, AType::DOTS)); c.constrain(tenv, obj, objT); } |