Clean up polarity pass

[satune.git] / src / Encoders / naiveencoder.c

diff --git a/src/Encoders/naiveencoder.c b/src/Encoders/naiveencoder.c
index 3baada358e4ba904efe62e36acb9a911463a0376..bc64cc44f3a25777492142befd7570e44aec49fb 100644 (file)
--- a/src/Encoders/naiveencoder.c
+++ b/src/Encoders/naiveencoder.c
@@ -11,14 +11,12 @@
 #include "table.h"
 #include "tableentry.h"
 #include "order.h"
-#include "polarityassignment.h"
 #include <strings.h>
 
 void naiveEncodingDecision(CSolver* This) {
        for (uint i=0; i < getSizeVectorBoolean(This->constraints); i++) {
                Boolean* boolean = getVectorBoolean(This->constraints, i);
                naiveEncodingConstraint(boolean);
-               assignPolarityAndBooleanValue(boolean);
        }
 }