From: bdemsky <bdemsky@uci.edu>
Date: Tue, 11 Jul 2017 00:24:15 +0000 (-0700)
Subject: Fix memory allocation error
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4b6b456a0633dd259ef72e26bd6afa89e712df7b;p=satune.git

Fix memory allocation error
---

diff --git a/src/Encoders/elementencoding.c b/src/Encoders/elementencoding.c
index 6ed38c2..a5158ab 100644
--- a/src/Encoders/elementencoding.c
+++ b/src/Encoders/elementencoding.c
@@ -29,7 +29,8 @@ void allocEncodingArrayElement(ElementEncoding *This, uint size) {
 }
 
 void allocInUseArrayElement(ElementEncoding *This, uint size) {
-	This->inUseArray=ourcalloc(1, size >> 6);
+	uint bytes = ((size + ((1 << 9)-1)) >> 6)&~7;//Depends on size of inUseArray
+	This->inUseArray=ourcalloc(1, bytes);
 }
 
 void allocElementConstraintVariables(ElementEncoding* This, uint numVars){