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 a1868c4..534c77d 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -97,7 +97,7 @@ AFn::constrain(TEnv& tenv, Constraints& c) const at(i)->constrain(tenv, cp); AType* bodyT = tenv.var(at(e-1)); - Subst tsubst = TEnv::unify(cp); + Subst tsubst = unify(cp); genericType = tup<AType>(loc, tenv.penv.sym("Fn"), tsubst.apply(protT), tsubst.apply(bodyT), 0); tenv.genericTypes.insert(make_pair(this, genericType)); |