From dbf84edf074b9d65971f8e0991459efeda91fa5a Mon Sep 17 00:00:00 2001
From: Hamed <hamed.gorjiara@gmail.com>
Date: Wed, 30 Aug 2017 18:59:03 -0700
Subject: [PATCH] Fixing bug ..

---
 src/ASTTransform/integerencoding.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ASTTransform/integerencoding.cc b/src/ASTTransform/integerencoding.cc
index bbb59a1..78b6c6e 100644
--- 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(){
-- 
2.34.1