From 278ce822615af27034945a2057e9f595cced8405 Mon Sep 17 00:00:00 2001
From: David Robillard <d@drobilla.net>
Date: Tue, 6 Oct 2009 16:06:28 +0000
Subject: Sanity check.

git-svn-id: http://svn.drobilla.net/resp/tuplr@189 ad02d1e2-f140-0410-9f75-f8b11f17cedd
---
 src/unify.cpp | 2 ++
 1 file changed, 2 insertions(+)

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));
 }
-- 
cgit v1.2.1