Resolving Conflicts ... Still there're errors that should be fixed
[satune.git] / src / Encoders / functionencoding.h
index 486d5eb..c7cf27e 100644 (file)
@@ -24,4 +24,5 @@ struct FunctionEncoding {
 void initFunctionEncoding(FunctionEncoding *encoding, Element *function);
 void initPredicateEncoding(FunctionEncoding *encoding, Boolean *predicate);
 void deleteFunctionEncoding(FunctionEncoding *This);
+
 #endif