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