Remove unimplemented enum

[satune.git] / src / ASTTransform / integerencodingrecord.h

diff --git a/src/ASTTransform/integerencodingrecord.h b/src/ASTTransform/integerencodingrecord.h
index a85e98a27d95c0a4787888941fea90b65918246f..39c54ed9dc7476bbc8863a90ca0e6284303d08a3 100644 (file)
--- a/src/ASTTransform/integerencodingrecord.h
+++ b/src/ASTTransform/integerencodingrecord.h
@@ -1,4 +1,4 @@
-/* 
+/*
  * File:   integerencodingrecord.h
  * Author: hamed
  *
@@ -13,16 +13,16 @@
 
 class IntegerEncodingRecord {
 public:
-       IntegerEncodingRecord(Set* set);
+       IntegerEncodingRecord(Set *set);
        ~IntegerEncodingRecord();
-       Element* getOrderIntegerElement(CSolver *This, uint64_t item, bool create = true);
-       inline Set* getSecondarySet() { return secondarySet; }
+       Element *getOrderIntegerElement(CSolver *This, uint64_t item, bool create = true);
+       inline Set *getSecondarySet() { return secondarySet; }
        CMEMALLOC;
-       
+
 private:
-       Set* secondarySet;
-       HashsetOrderElement *elementTable;
+       Set *secondarySet;
+       HashsetOrderElement *elementSet;
 };
 
-#endif /* INTEGERENCODINGRECORD_H */
+#endif/* INTEGERENCODINGRECORD_H */