remove spurrious CHECK

This commit is contained in:
lperron@google.com
2011-07-13 19:57:04 +00:00
parent 55a6f2669c
commit 440d9b4a15

View File

@@ -262,7 +262,6 @@ class NoCycle : public Constraint {
active_.get(),
size_);
visitor->VisitIntegerArgument(this, "assume_paths", assume_paths_);
CHECK(sink_handler_ == NULL);
// TODO(user) : VISITOR -> sink_handler
visitor->EndVisitConstraint(ModelVisitor::kNoCycle, this);
}