From f87fd6394adc4f85b8f3ff1d0695fd6ea2093e4e Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 19 Nov 2012 18:40:50 -0800
Subject: [PATCH] model: privatize set_assert()

---
 model.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/model.h b/model.h
index 15516e26..f92c8bdf 100644
--- a/model.h
+++ b/model.h
@@ -122,7 +122,6 @@ public:
 	bool assert_bug(const char *msg);
 	void assert_user_bug(const char *msg);
 
-	void set_assert() {asserted=true;}
 	bool is_deadlocked() const;
 	bool is_complete_execution() const;
 	void print_stats() const;
@@ -143,7 +142,8 @@ private:
 	bool thin_air_constraint_may_allow(const ModelAction * writer, const ModelAction *reader);
 	bool mo_may_allow(const ModelAction * writer, const ModelAction *reader);
 	bool has_asserted() {return asserted;}
-	void reset_asserted() {asserted=false;}
+	void reset_asserted() { asserted = false; }
+	void set_assert() { asserted = true; }
 	bool promises_expired() const;
 	void execute_sleep_set();
 	void wake_up_sleeping_actions(ModelAction * curr);
-- 
2.34.1