Fixing bug ..

diff --git a/src/ASTTransform/integerencoding.cc b/src/ASTTransform/integerencoding.cc
index bbb59a122b9e043c4340a3d0a5da91acbad1509d..78b6c6e5b0387a9f83932107c36e0f3ad0150c31 100644 (file)
--- a/src/ASTTransform/integerencoding.cc
+++ b/src/ASTTransform/integerencoding.cc
@@ -10,6 +10,7 @@
 IntegerEncodingTransform::IntegerEncodingTransform(CSolver* _solver) 
        :Transform(_solver)
 {      
+       orderIntEncoding = new HashTableOrderIntEncoding();
 }
 
 IntegerEncodingTransform::~IntegerEncodingTransform(){