From 6229fece25a438e469a9fbf1042ea56fa4e3e3f4 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 11 Jul 2012 14:57:16 -0700
Subject: [PATCH] main: make function static

---
 main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.cc b/main.cc
index b38f7ef..3dff4f4 100644
--- a/main.cc
+++ b/main.cc
@@ -51,7 +51,7 @@ static void thread_wait_finish(void) {
 
 /** The real_main function contains the main model checking loop. */
 
-void real_main() {
+static void real_main() {
 	thrd_t user_thread;
 	ucontext_t main_context;
 
-- 
2.34.1