Bug fix for removing must edges...They also need to update constraints

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

diff --git a/src/Encoders/elementencoding.h b/src/Encoders/elementencoding.h
index 6797c66bf530b9024fba0fd3627f43643799ce04..b066de34a341636eb7039d89b3bc5733c3bc030e 100644 (file)
--- a/src/Encoders/elementencoding.h
+++ b/src/Encoders/elementencoding.h
@@ -29,7 +29,7 @@ public:
                }
                return -1;
        }
-
+       void print();
 
        ElementEncodingType type;
        Element *element;