X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=tree.h;h=1c9f74cb440f850430b598d92c81b6f245922d33;hb=d279e84ed265af079ea035d5dff49183def2c144;hp=676cbe4608923b12de245b947c142a64727bf26c;hpb=6c25cb78e05b059e0b57a6cf9cfd5637c58d936b;p=c11tester.git

diff --git a/tree.h b/tree.h
index 676cbe46..1c9f74cb 100644
--- a/tree.h
+++ b/tree.h
@@ -16,12 +16,12 @@ public:
 	TreeNode(TreeNode *par);
 	~TreeNode();
 	bool hasBeenExplored(tree_t id) { return children.find(id) != children.end(); }
-	TreeNode *exploreChild(tree_t id);
+	TreeNode * exploreChild(tree_t id);
 	tree_t getNextBacktrack();
 
 	/* Return 1 if already in backtrack, 0 otherwise */
 	int setBacktrack(tree_t id);
-	TreeNode *getRoot();
+	TreeNode * getRoot();
 	static int getTotalNodes() { return TreeNode::totalNodes; }
 private:
 	TreeNode *parent;