projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Resolving Conflicts ... Still there're errors that should be fixed
[satune.git]
/
src
/
Encoders
/
functionencoding.h
diff --git
a/src/Encoders/functionencoding.h
b/src/Encoders/functionencoding.h
index 486d5eb13baf64d4a8bbdb751ef294ae5b06e688..c7cf27e3c0743cf17b26225f614518195f00cd8f 100644
(file)
--- a/
src/Encoders/functionencoding.h
+++ b/
src/Encoders/functionencoding.h
@@
-24,4
+24,5
@@
struct FunctionEncoding {
void initFunctionEncoding(FunctionEncoding *encoding, Element *function);
void initPredicateEncoding(FunctionEncoding *encoding, Boolean *predicate);
void deleteFunctionEncoding(FunctionEncoding *This);
+
#endif