From c42f7b851da1c460d1669af9d3b9bd0b78183ab9 Mon Sep 17 00:00:00 2001 From: Simon Krajewski Date: Wed, 25 Sep 2013 16:54:03 +0200 Subject: [PATCH] version --- main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 8c9563325e5..40486cb70dd 100755 --- a/main.ml +++ b/main.ml @@ -44,7 +44,7 @@ type cache = { exception Abort exception Completion of string -let version = 300 +let version = 301 let measure_times = ref false let prompt = ref false