diff options
Diffstat (limited to 'src/unify.cpp')
| -rw-r--r-- | src/unify.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index b013e0c..74e35fd 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -25,6 +25,8 @@ void Constraints::constrain(TEnv& tenv, const AST* o, AType* t) { + assert(o); + assert(t); assert(!o->to<const AType*>()); push_back(Constraint(tenv.var(o), t, o->loc)); } |