From b4cbab6774acf47bb6173911a865dfb4d4ce869c Mon Sep 17 00:00:00 2001
From: Pali Rohár <pali.rohar@gmail.com>
Date: Thu, 9 Aug 2012 16:07:48 +0200
Subject: main: Implement more options

---
 src/main2.h | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 src/main2.h

(limited to 'src/main2.h')

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