change version number in 'main.ml'

gfngfn · Oct 9, 2018 · 4e5eb43 · 4e5eb43
1 parent b463253
commit 4e5eb43
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/frontend/main.ml b/src/frontend/main.ml
@@ -754,7 +754,7 @@ let error_log_environment suspended =
 let arg_version () =
   begin
     print_string (
-        "  SATySFi version 0.0.2\n"
+        "  SATySFi version 0.0.3\n"
 (*
       ^ "  (in the middle of the transition from Macrodown)\n"
       ^ "    ____   ____       ________     _____   ______\n"