Fixing bugs for Unary encoding ...

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

diff --git a/src/Encoders/naiveencoder.h b/src/Encoders/naiveencoder.h
index 20f2943ce26a093dd3e22199ad624566f8fb5d73..a4b9ec176b07f117d91774ef81f0ca4f5b163f5c 100644 (file)
--- a/src/Encoders/naiveencoder.h
+++ b/src/Encoders/naiveencoder.h
@@ -15,5 +15,6 @@ void naiveEncodingLogicOp(BooleanLogic * This);
 void naiveEncodingPredicate(BooleanPredicate * This);
 void naiveEncodingElement(Element * This);
 void encodingArrayInitialization(ElementEncoding *This);
+uint getSizeEncodingArray(ElementEncoding *, uint setSize);
 
 #endif