Adding IntegerEncodingResolver ...

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

diff --git a/src/ASTTransform/integerencodingrecord.h b/src/ASTTransform/integerencodingrecord.h
index 2b2f1902b7faf94b192015241f3ebd4fd00941f2..a85e98a27d95c0a4787888941fea90b65918246f 100644 (file)
--- a/src/ASTTransform/integerencodingrecord.h
+++ b/src/ASTTransform/integerencodingrecord.h
@@ -15,7 +15,7 @@ class IntegerEncodingRecord {
 public:
        IntegerEncodingRecord(Set* set);
        ~IntegerEncodingRecord();
-       Element* getOrderIntegerElement(CSolver *This, uint64_t item);
+       Element* getOrderIntegerElement(CSolver *This, uint64_t item, bool create = true);
        inline Set* getSecondarySet() { return secondarySet; }
        CMEMALLOC;