From 272b397b6f42c1ed298b7c28d800b96c0abacc1f Mon Sep 17 00:00:00 2001
From: VooDooS <thevoodoos@gmail.com>
Date: Fri, 27 Sep 2019 12:16:09 +0200
Subject: [PATCH] Bump version number

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

diff --git a/lib/main.ml b/lib/main.ml
index 10e07e1..e9c09ff 100644
--- a/lib/main.ml
+++ b/lib/main.ml
@@ -3,7 +3,7 @@ exception Query_failed
 exception No_kernel
 
 (* TryMLTS version *)
-let version = "0.4"
+let version = "0.5"
 
 (* Reference to the Elpi kernel *)
 let kernel = ref None