From: Brian Demsky <briandemsky@plrg-dock.ics.uci.edu>
Date: Fri, 6 Dec 2019 23:15:26 +0000 (-0800)
Subject: Remove user_main_wrapper
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=286195618e981ea2b31036bc4f403382a2dd4835;p=c11tester.git

Remove user_main_wrapper
---

diff --git a/model.h b/model.h
index d4b11d5b..882ca069 100644
--- a/model.h
+++ b/model.h
@@ -103,8 +103,6 @@ private:
 	void print_bugs() const;
 	void print_execution(bool printbugs) const;
 	void print_stats() const;
-
-	friend void user_main_wrapper();
 };
 
 extern ModelChecker *model;