From b46325376bbc8ff1cb4141f323078c55933c9c94 Mon Sep 17 00:00:00 2001
From: gfngfn <suwa-takashi141@g.ecc.u-tokyo.ac.jp>
Date: Tue, 9 Oct 2018 16:55:10 +0900
Subject: [PATCH] update version

---
 satysfi.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/satysfi.opam b/satysfi.opam
index 91799748e..92638f252 100644
--- a/satysfi.opam
+++ b/satysfi.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "satysfi"
-version: "0.0.2"
+version: "0.0.3"
 maintainer: "gfngfn"
 authors: [
   "gfngfn"