Remove user_main_wrapper

diff --git a/model.h b/model.h
index d4b11d5b95d3fc677cc079fce801f6de2cfc526d..882ca069b32a9d8d7903805bba0986daa96d9f3e 100644 (file)
--- 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;