Fix encoding bug and fix misconception of how memory management of Constraints works

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

diff --git a/src/Encoders/elementencoding.c b/src/Encoders/elementencoding.c
index f0510d6e50d39fc9eb0cddc297300003af6835f2..08eb2e8dd6200fa403a6b910616597232508e406 100644 (file)
--- a/src/Encoders/elementencoding.c
+++ b/src/Encoders/elementencoding.c
@@ -43,8 +43,7 @@ void setElementEncodingType(ElementEncoding* This, ElementEncodingType type){
 
 void generateBinaryIndexEncodingVars(SATEncoder* encoder, ElementEncoding* This){
        ASSERT(This->type==BINARYINDEX);
-       uint size = getElemEncodingInUseVarsSize(This);
-       allocElementConstraintVariables(This, NUMBITS(size-1));
+       allocElementConstraintVariables(This, NUMBITS(This->encArraySize-1));
        getArrayNewVarsSATEncoder(encoder, This->numVars, This->variables);
 }