Fixing bug ..
authorHamed <hamed.gorjiara@gmail.com>
Thu, 31 Aug 2017 01:59:03 +0000 (18:59 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Thu, 31 Aug 2017 01:59:03 +0000 (18:59 -0700)
src/ASTTransform/integerencoding.cc

index bbb59a1..78b6c6e 100644 (file)
@@ -10,6 +10,7 @@
 IntegerEncodingTransform::IntegerEncodingTransform(CSolver* _solver) 
        :Transform(_solver)
 {      
+       orderIntEncoding = new HashTableOrderIntEncoding();
 }
 
 IntegerEncodingTransform::~IntegerEncodingTransform(){