From 75170f48eddae922e7fbdac00fc949f00c8cb36e Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 30 Apr 2012 00:08:49 -0700
Subject: [PATCH] tree: fix header for potential multiple inclusions

---
 tree.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tree.h b/tree.h
index 1c9f74cb..c8f47906 100644
--- a/tree.h
+++ b/tree.h
@@ -1,3 +1,6 @@
+#ifndef __TREE_H__
+#define __TREE_H__
+
 #include <set>
 #include <map>
 #include "threads.h"
@@ -29,3 +32,5 @@ private:
 	std::set<tree_t> backtrack;
 	static int totalNodes;
 };
+
+#endif /* __TREE_H__ */
-- 
2.34.1