1 files changed, 1 insertions, 4 deletions
diff --git a/typing.cpp b/typing.cpp
index 94826e9..285173b 100644
--- a/typing.cpp
+++ b/typing.cpp
@@ -35,10 +35,7 @@ ASymbol::constrain(TEnv& tenv, Constraints& c) const
 	addr = tenv.lookup(this);
 	if (!addr)
 		throw Error((format("undefined symbol `%1%'") % cppstr).str(), loc);
-	pair<AST*, AType*>& t = tenv.deref(addr);
-	AType* tvar = tenv.var(t.second);
-	c.push_back(Constraint(tenv.var(this), tvar, loc));
-	c.push_back(Constraint(t.second, tvar, loc));
+	c.push_back(Constraint(tenv.var(this), tenv.deref(addr).second, loc));
 }
 
 void