From 80792d1026600d162f293839615fecdf19665e17 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 9 Apr 2018 18:50:39 -0700
Subject: Fix dumping of benchmark in SmtEngine::checkSatisfiability(). (#1764)

---
 src/smt/command.cpp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/smt/command.cpp')

diff --git a/src/smt/command.cpp b/src/smt/command.cpp
index c77c4ed02..847221979 100644
--- a/src/smt/command.cpp
+++ b/src/smt/command.cpp
@@ -449,8 +449,6 @@ CheckSatAssumingCommand::CheckSatAssumingCommand(const std::vector<Expr>& terms,
                                                  bool inUnsatCore)
     : d_terms(terms), d_inUnsatCore(inUnsatCore)
 {
-  PrettyCheckArgument(
-      terms.size() >= 1, terms, "cannot get-value of an empty set of terms");
 }
 
 const std::vector<Expr>& CheckSatAssumingCommand::getTerms() const
-- 
cgit v1.2.3