X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=f6d3e4e36be07a0ffa0feec975181faacd283f4f;hb=d9e24346b98954bd73c9b798fd31031ff3781163;hp=44d739c9e9d752565fe76b67b4b49dce4cf778d9;hpb=24032577ab44f5adb4f072d022f70d0b0162ab90;p=model-checker.git

diff --git a/nodestack.h b/nodestack.h
index 44d739c..f6d3e4e 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -63,7 +63,7 @@ public:
 	/* return true = backtrack set is empty */
 	bool backtrack_empty() const;
 
-	void explore_child(ModelAction *act, enabled_type_t * is_enabled);
+	void explore_child(ModelAction *act, enabled_type_t *is_enabled);
 	/* return false = thread was already in backtrack */
 	bool set_backtrack(thread_id_t id);
 	thread_id_t get_next_backtrack();