From: Brian Norris <banorris@uci.edu>
Date: Mon, 30 Apr 2012 07:08:49 +0000 (-0700)
Subject: tree: fix header for potential multiple inclusions
X-Git-Tag: pldi2013~482
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=75170f48eddae922e7fbdac00fc949f00c8cb36e;p=model-checker.git

tree: fix header for potential multiple inclusions
---

diff --git a/tree.h b/tree.h
index 1c9f74c..c8f4790 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__ */