edit

diff --git a/src/Backend/satorderencoder.cc b/src/Backend/satorderencoder.cc
index 9061f76f432aa1ff3af7c3df490aaa65f9779824..6ec1f33f3e38c4e2592eb67a82e16c45142e44c9 100644 (file)
--- 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;
 }