Release coccinelle-0.1.2

[bpt/coccinelle.git] / globals / config.ml

diff --git a/globals/config.ml b/globals/config.ml
index c5516d9..f2d0bbd 100644 (file)
--- a/globals/config.ml
+++ b/globals/config.ml
@@ -1,4 +1,4 @@
-let version = "0.1.1"
+let version = "0.1.2"
 
 let path = 
   try (Sys.getenv "COCCINELLE_HOME")