From 4e5eb43e629ff013672604cc6b010bcc2e0efe19 Mon Sep 17 00:00:00 2001
From: gfngfn <suwa-takashi141@g.ecc.u-tokyo.ac.jp>
Date: Tue, 9 Oct 2018 18:04:39 +0900
Subject: [PATCH] change version number in 'main.ml'

---
 src/frontend/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/main.ml b/src/frontend/main.ml
index 4a432fe50..90724b404 100644
--- 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"