From a80bdcc56bab969dbb214344c01a215e66b91f08 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Sun, 28 Jun 2009 23:35:44 +0000 Subject: write.cpp -> pprint.cpp. git-svn-id: http://svn.drobilla.net/resp/tuplr@162 ad02d1e2-f140-0410-9f75-f8b11f17cedd --- src/typing.cpp | 8 -------- 1 file changed, 8 deletions(-) (limited to 'src/typing.cpp') diff --git a/src/typing.cpp b/src/typing.cpp index 5791fdc..787f445 100644 --- a/src/typing.cpp +++ b/src/typing.cpp @@ -18,14 +18,6 @@ #include #include "tuplr.hpp" -void -Constraints::constrain(TEnv& tenv, const AST* o, AType* t) -{ - assert(!o->to()); - push_back(Constraint(tenv.var(o), t, o->loc)); -} - - /*************************************************************************** * AST Type Constraints * ***************************************************************************/ -- cgit v1.2.1