From 286195618e981ea2b31036bc4f403382a2dd4835 Mon Sep 17 00:00:00 2001
From: Brian Demsky <briandemsky@plrg-dock.ics.uci.edu>
Date: Fri, 6 Dec 2019 15:15:26 -0800
Subject: [PATCH] Remove user_main_wrapper

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

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;
-- 
2.34.1