edits

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

diff --git a/src/Encoders/naiveencoder.h b/src/Encoders/naiveencoder.h
index c3260a050e92a99a0809c25a048b6395b5f54a6d..dbc9148d6199d72257498de94791381f3f5417d6 100644 (file)
--- a/src/Encoders/naiveencoder.h
+++ b/src/Encoders/naiveencoder.h
@@ -14,7 +14,4 @@ void naiveEncodingConstraint(Boolean *This);
 void naiveEncodingLogicOp(BooleanLogic *This);
 void naiveEncodingPredicate(BooleanPredicate *This);
 void naiveEncodingElement(Element *This);
-void encodingArrayInitialization(ElementEncoding *This);
-uint getSizeEncodingArray(ElementEncoding *, uint setSize);
-
 #endif