From: Hamed <hamed.gorjiara@gmail.com>
Date: Thu, 31 Aug 2017 01:59:03 +0000 (-0700)
Subject: Fixing bug ..
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=dbf84edf074b9d65971f8e0991459efeda91fa5a;p=satune.git

Fixing bug ..
---

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(){