From 2a9ad48eb63a5f019c528fe46ceca0065364a44d Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 24 Jan 2015 12:16:46 +0100
Subject: Added ENABLE_NDEBUG makefile options

---
 libs/ezsat/ezsat.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'libs')

diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index 1224fd3a9..8d232f335 100644
--- a/libs/ezsat/ezsat.cc
+++ b/libs/ezsat/ezsat.cc
@@ -1096,7 +1096,7 @@ std::vector<int> ezSAT::vec_shift_right(const std::vector<int> &vec1, const std:
 std::vector<int> ezSAT::vec_shift_left(const std::vector<int> &vec1, const std::vector<int> &vec2, bool vec2_signed, int extend_left, int extend_right)
 {
 	// vec2_signed is not implemented in vec_shift_left() yet
-	assert(vec2_signed == false);
+	if (vec2_signed) assert(vec2_signed == false);
 
 	int vec2_bits = std::min(my_clog2(vec1.size()), int(vec2.size()));
 
-- 
cgit v1.2.3