]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 11 Oct 2009 00:11:39 +0000 (00:11 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 11 Oct 2009 00:11:39 +0000 (00:11 +0000)
src/parser/let-funcs.h

index 33b42f73d51e7db578e083707102e3457d65d820..8a045443f42cc0e4fa53cc41aec5f1ba9bd65b64 100644 (file)
@@ -47,4 +47,5 @@ namespace BEEV
       ASTNode SubstituteLetExpr(ASTNode inExpr);
     };// End of class LETMgr
 }; //end of namespace
+
 #endif