diff options
Diffstat (limited to 'src/typing.cpp')
| -rw-r--r-- | src/typing.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
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 <set> #include "tuplr.hpp" -void -Constraints::constrain(TEnv& tenv, const AST* o, AType* t) -{ - assert(!o->to<const AType*>()); - push_back(Constraint(tenv.var(o), t, o->loc)); -} - - /*************************************************************************** * AST Type Constraints * ***************************************************************************/ |