Adding support for ElementFunction
[satune.git] / src / AlloyEnc / signature.h
index 107002a..b3ebf47 100644 (file)
@@ -26,7 +26,7 @@ public:
        virtual string getSignature() const;
 private:
        int value;
-       static bool encodeSet;
+       static bool encodeAbsSig;
 };
 
 class SetSig: public Signature{