Bug fix for the tuner: missing mustHaveValue constraints

[satune.git] / src / Encoders / elementencoding.h

diff --git a/src/Encoders/elementencoding.h b/src/Encoders/elementencoding.h
index 3fda7040e42e75364213b08958b4d213e4f4e238..ac6e6bf5a4626903e3a12fd3e43a82214ec0779f 100644 (file)
--- a/src/Encoders/elementencoding.h
+++ b/src/Encoders/elementencoding.h
@@ -33,7 +33,6 @@ public:
        }
        void print();
 
-       bool anyValue;
        ElementEncodingType type;
        Element *element;
        Edge *variables;/* List Variables Used To Encode Element */