update the version number

Sapphire-Lilith · Jan 25, 2020 · a021929 · a021929
1 parent 20732bf
commit a021929
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/satysfi.opam b/satysfi.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "satysfi"
-version: "0.0.3"
+version: "0.0.4"
 maintainer: "gfngfn"
 authors: [
   "gfngfn"

diff --git a/src/frontend/main.ml b/src/frontend/main.ml
@@ -947,7 +947,7 @@ let error_log_environment suspended =
 
 let arg_version () =
   print_string (
-    "  SATySFi version 0.0.3\n"
+    "  SATySFi version 0.0.4\n"
 (*
       ^ "  (in the middle of the transition from Macrodown)\n"
       ^ "    ____   ____       ________     _____   ______\n"