X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTTransform%2Fintegerencodingrecord.cc;fp=src%2FASTTransform%2Fintegerencodingrecord.cc;h=7085cf7f9c5e7d916d2c92d941122f28dc6ba133;hp=961524570d09109c9acf27beaf1d042fa70bff2d;hb=87e67ce60ad79d235655d7c74276ba27d1d98632;hpb=dbf84edf074b9d65971f8e0991459efeda91fa5a

diff --git a/src/ASTTransform/integerencodingrecord.cc b/src/ASTTransform/integerencodingrecord.cc
index 9615245..7085cf7 100644
--- a/src/ASTTransform/integerencodingrecord.cc
+++ b/src/ASTTransform/integerencodingrecord.cc
@@ -12,7 +12,7 @@
 IntegerEncodingRecord::IntegerEncodingRecord(Set* _set):
 	secondarySet(_set)
 {
-	elementTable = new HashSetOrderElement();
+	elementTable = new HashsetOrderElement();
 }
 
 IntegerEncodingRecord::~IntegerEncodingRecord(){