1 files changed, 0 insertions, 4 deletions
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;