Bump version to 1.0.

martinjonas · Feb 7, 2019 · 9630b6c · 9630b6c
1 parent 1be8d98
commit 9630b6c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/app/main.cpp b/app/main.cpp
@@ -17,7 +17,7 @@ using namespace std;
 using namespace z3;
 using namespace antlr4;
 
-const std::string version = "1.0 dev";
+const std::string version = "1.0";
 
 void print_usage()
 {

diff --git a/lib/SMTLIBInterpreter.cpp b/lib/SMTLIBInterpreter.cpp
@@ -163,7 +163,7 @@ antlrcpp::Any SMTLIBInterpreter::visitCommand(SMTLIBv2Parser::CommandContext* co
         }
         else if (info->PK_Version())
         {
-            std::cout << "1.0 dev" << std::endl;
+            std::cout << "1.0" << std::endl;
         }
         else
         {
-Original file line number
+Diff line change
@@ Expand Up @@
             }
             else if (info->PK_Version())
             {
-                std::cout << "1.0 dev" << std::endl;
+                std::cout << "1.0" << std::endl;
             }
             else
             {
@@ Expand Down @@