From: Hamed <hamed.gorjiara@gmail.com>
Date: Fri, 25 Aug 2017 23:49:40 +0000 (-0700)
Subject: edit
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=32175146d4acd5df79f049c1e6b0980aab7ac58b;p=satune.git

edit
---

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;
 }