From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 23 Jan 2012 22:45:54 +0000 (+0000)
Subject: Fix the build. Spotted by Vijay Ganesh, Spencer Whitman and Stephan Falke. Ta.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=e43178a4e2887a299c7c601f133f8488121c8880;p=francis%2Fstp.git

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 4d8f4d7..9930c7a 100644
--- 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 e683149..c165591 100644
--- 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
 {