From e0535de4716296503a1a9942399bf26a6668cf7c Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sat, 29 Dec 2018 13:48:56 +0000
Subject: [PATCH] Version

---
 Makefile    |  3 ++-
 reactics.cc | 12 ++++++------
 reactics.hh |  5 +++--
 3 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/Makefile b/Makefile
index 0e28206..4235476 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,8 @@ CPPFLAGS = -Wall $(CPPFLAGS_SILENT) #-Werror
 #CPPFLAGS = -Wall $(INCLUDES) -DNDEBUG
 CXXFLAGS_SILENT = -O3 -g
 CXXFLAGS = -std=c++14 $(CXXFLAGS_SILENT)
-#CXXFLAGS = -std=c++14 -O3 -DPUBLIC_RELEASE -DNDEBUG #-g
+CXXFLAGS = -std=c++14 -O3 -DPUBLIC_RELEASE -DNDEBUG #-g
+CXXFLAGS = -std=c++14 -O3 -DPUBLIC_RELEASE #-g
 LDLIBS = $(CUDD_INCLUDE)
 
 OBJ = rs.o ctx_aut.o symrs.o mc.o rsin_driver.o rsin_parser.o rsin_parser.lex.o formrsctlk.o stateconstr.o
diff --git a/reactics.cc b/reactics.cc
index b5af3ad..99731ba 100644
--- a/reactics.cc
+++ b/reactics.cc
@@ -21,7 +21,7 @@ int main(int argc, char **argv)
   bool reach_states_succ = false;
   bool bmc = true;
   bool benchmarking = false;
-  bool usage_error = false;
+  bool dump_help_message = false;
   bool print_parsed_sys = false;
   std::string property_name = "default";
 
@@ -110,11 +110,11 @@ int main(int argc, char **argv)
         break;
 
       case 'h':
-        usage_error = true;
+        dump_help_message = true;
         break;
 
       default:
-        usage_error = true;
+        dump_help_message = true;
         break;
     }
   }
@@ -124,12 +124,12 @@ int main(int argc, char **argv)
   if (optind < argc) {
     inputfile = argv[optind];
   }
-  else {
+	else if (!dump_help_message) {
     cout << "Missing input file" << endl;
-    usage_error = true;
+    dump_help_message = true;
   }
 
-  if (usage_error) {
+  if (dump_help_message) {
     print_help(std::string(argv[0]));
     return 100;
   }
diff --git a/reactics.hh b/reactics.hh
index 8b6bfc7..c1e0d7c 100644
--- a/reactics.hh
+++ b/reactics.hh
@@ -19,8 +19,9 @@
 #include "options.hh"
 #include "memtime.hh"
 
-#define VERSION     "2.0 ALPHA"
-#define AUTHOR      "Artur Meski <artur.meski@gmail.com>"
+#define VERSION     "2.0"
+//#define AUTHOR      "Artur Meski <artur.meski@gmail.com>"
+#define AUTHOR      "Artur Meski <meski@ipipan.waw.pl>"
 using std::cout;
 using std::endl;