]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Fix the build. Spotted by Vijay Ganesh, Spencer Whitman and Stephan Falke. Ta.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 23 Jan 2012 22:45:54 +0000 (22:45 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 23 Jan 2012 22:45:54 +0000 (22:45 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1514 e59a4935-1847-0410-ae03-e826735625c1

src/AST/NodeFactory/NodeFactory.cpp
src/AST/NodeFactory/NodeFactory.h

index 4d8f4d7d9d77e7a810217e90e13edbd5f9ec1929..9930c7a6a4e3ebb19caba6d81fc1f026895aefa5 100644 (file)
@@ -69,16 +69,6 @@ ASTNode NodeFactory::CreateNode(Kind kind, const ASTNode& child0,
        return CreateNode(kind, front_children);
 }
 
-ASTNode NodeFactory::CreateNodeY(Kind kind, const ASTNode& child0,
-                const ASTNode& child1)
-{
-        ASTVec front_children;
-        front_children.push_back(child0);
-        front_children.push_back(child1);
-        return CreateNode(kind, front_children);
-}
-
-
 ASTNode NodeFactory::CreateNode(Kind kind, const ASTNode& child0,
                const ASTNode& child1, const ASTNode& child2,
                const ASTVec & back_children)
index e683149f4c59569ccbf068b5108eebf345f32c1a..c16559155efa7934ad4724368544edab14e3bf02 100644 (file)
@@ -4,7 +4,7 @@
 
 #include <vector>
 #include "../ASTKind.h"
-#include "../boost/noncopyable.hpp"
+#include "../../boost/noncopyable.hpp"
 
 namespace BEEV
 {