From e7de4ffe3474ebbcfef63872fa858dc29871de57 Mon Sep 17 00:00:00 2001
From: Pali Rohár <pali.rohar@gmail.com>
Date: Wed, 8 Aug 2012 21:33:53 +0200
Subject: main: Start implementing new main.c

---
 src/main2.h | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 src/main2.h

(limited to 'src/main2.h')

diff --git a/src/main2.h b/src/main2.h
new file mode 100644
index 0000000..312cc55
--- /dev/null
+++ b/src/main2.h
@@ -0,0 +1,4 @@
+
+extern int simulate;
+extern int noverify;
+extern int verbose;
-- 
cgit v1.2.3