Bug Fix: defining the scope of integer for Alloy

[satune.git] / src / AlloyEnc / alloyenc.h

diff --git a/src/AlloyEnc/alloyenc.h b/src/AlloyEnc/alloyenc.h
index 94d991e726548bf96f2988f66ecfae57731c8beb..dd93eb039f7d65e22f3359bfe5a90403687bce7b 100644 (file)
--- a/src/AlloyEnc/alloyenc.h
+++ b/src/AlloyEnc/alloyenc.h
@@ -16,6 +16,7 @@ public:
        uint64_t getValue(Element * element);
        ~AlloyEnc();
 private:
+       void dumpAlloyIntScope();
        string encodeConstraint(BooleanEdge constraint);
        int getResult();
        string encodeBooleanLogic( BooleanLogic *bl);