Merge scratch with master branch

[satune.git] / src / Backend / satelemencoder.cc

diff --git a/src/Backend/satelemencoder.cc b/src/Backend/satelemencoder.cc
index 84880fff21574f387accacf7afcf2138defcb1f1..d2c04f62ac2a1aeeb7c9cddb4207c7fa07d61459 100644 (file)
--- a/src/Backend/satelemencoder.cc
+++ b/src/Backend/satelemencoder.cc
@@ -230,7 +230,7 @@ void SATEncoder::generateBinaryIndexEncodingVars(ElementEncoding *encoding) {
                if(setSize < encArraySize * (uint)solver->getTuner()->getTunable(MUSTVALUE, &mustValueBinaryIndex)/10){
                        generateAnyValueBinaryIndexEncodingPositive(encoding);
                } else {
-               generateAnyValueBinaryIndexEncoding(encoding);
+                       generateAnyValueBinaryIndexEncoding(encoding);
                }
        }
 }