X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FEncoders%2Ffunctionencoding.h;h=c7cf27e3c0743cf17b26225f614518195f00cd8f;hp=486d5eb13baf64d4a8bbdb751ef294ae5b06e688;hb=ddc4141470ead8ab7bfa6047a6a6a0ac1766a91f;hpb=0df63892a80f76f06bd39c6e8852cd4f80ff0c05

diff --git a/src/Encoders/functionencoding.h b/src/Encoders/functionencoding.h
index 486d5eb..c7cf27e 100644
--- 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