Fix the build. Spotted by Vijay Ganesh, Spencer Whitman and Stephan Falke. Ta.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1514 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/AST/NodeFactory/NodeFactory.cpp b/src/AST/NodeFactory/NodeFactory.cpp
index 4d8f4d7d9d77e7a810217e90e13edbd5f9ec1929..9930c7a6a4e3ebb19caba6d81fc1f026895aefa5 100644 (file)
--- a/src/AST/NodeFactory/NodeFactory.cpp
+++ b/src/AST/NodeFactory/NodeFactory.cpp
@@ -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)

diff --git a/src/AST/NodeFactory/NodeFactory.h b/src/AST/NodeFactory/NodeFactory.h
index e683149f4c59569ccbf068b5108eebf345f32c1a..c16559155efa7934ad4724368544edab14e3bf02 100644 (file)
--- a/src/AST/NodeFactory/NodeFactory.h
+++ b/src/AST/NodeFactory/NodeFactory.h
@@ -4,7 +4,7 @@
 
 #include <vector>
 #include "../ASTKind.h"
-#include "../boost/noncopyable.hpp"
+#include "../../boost/noncopyable.hpp"
 
 namespace BEEV
 {