git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/src/parser/let-funcs.h b/src/parser/let-funcs.h
index 33b42f73d51e7db578e083707102e3457d65d820..8a045443f42cc0e4fa53cc41aec5f1ba9bd65b64 100644 (file)
--- a/src/parser/let-funcs.h
+++ b/src/parser/let-funcs.h
@@ -47,4 +47,5 @@ namespace BEEV
       ASTNode SubstituteLetExpr(ASTNode inExpr);
     };// End of class LETMgr
 }; //end of namespace
+
 #endif