diff options
| author | David Robillard <d@drobilla.net> | 2009-10-06 16:06:28 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2009-10-06 16:06:28 +0000 |
| commit | 278ce822615af27034945a2057e9f595cced8405 (patch) | |
| tree | 2225fecf45cc458ea870a7a309261c709d4af9cb /src/unify.cpp | |
| parent | caff973778f806125cf32d20de8914ace7345282 (diff) | |
| download | resp-278ce822615af27034945a2057e9f595cced8405.tar.gz resp-278ce822615af27034945a2057e9f595cced8405.tar.bz2 resp-278ce822615af27034945a2057e9f595cced8405.zip | |
Sanity check.
git-svn-id: http://svn.drobilla.net/resp/tuplr@189 ad02d1e2-f140-0410-9f75-f8b11f17cedd
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)); } |