From 32175146d4acd5df79f049c1e6b0980aab7ac58b Mon Sep 17 00:00:00 2001
From: Hamed <hamed.gorjiara@gmail.com>
Date: Fri, 25 Aug 2017 16:49:40 -0700
Subject: [PATCH] edit
---
src/Backend/satorderencoder.cc | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/Backend/satorderencoder.cc b/src/Backend/satorderencoder.cc
index 9061f76..6ec1f33 100644
--- a/src/Backend/satorderencoder.cc
+++ b/src/Backend/satorderencoder.cc
@@ -22,8 +22,6 @@ Edge encodeOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint) {
default:
ASSERT(0);
}
- default:
- ASSERT(0);
return E_BOGUS;
}
--
2.34.1