From edc21460565ea75cff54cab69933da8c5e9db382 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 1 Mar 2014 20:55:06 +0100
Subject: Removed ezSAT::assumed() API

---
 libs/ezsat/testbench.cc | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'libs/ezsat/testbench.cc')

diff --git a/libs/ezsat/testbench.cc b/libs/ezsat/testbench.cc
index cc0fe573..8283686e 100644
--- a/libs/ezsat/testbench.cc
+++ b/libs/ezsat/testbench.cc
@@ -38,11 +38,6 @@ struct xorshift128 {
 
 bool test(ezSAT &sat, int assumption = 0)
 {
-	for (auto id : sat.assumed())
-		printf("%s\n", sat.to_string(id).c_str());
-	if (assumption)
-		printf("%s\n", sat.to_string(assumption).c_str());
-
 	std::vector<int> modelExpressions;
 	std::vector<bool> modelValues;
 
-- 
cgit v1.2.3