edit
authorHamed <hamed.gorjiara@gmail.com>
Fri, 25 Aug 2017 23:49:40 +0000 (16:49 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Fri, 25 Aug 2017 23:49:40 +0000 (16:49 -0700)
src/Backend/satorderencoder.cc

index 9061f76..6ec1f33 100644 (file)
@@ -22,8 +22,6 @@ Edge encodeOrderSATEncoder(SATEncoder *This, BooleanOrder *constraint) {
                default:
                        ASSERT(0);
        }
-       default:
-               ASSERT(0);
        return E_BOGUS;
 }