Bump version number

voodoos · Sep 27, 2019 · 272b397 · 272b397
1 parent 33b068c
commit 272b397
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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