diff --git a/Cabal/Makefile b/Cabal/Makefile
index 3cf4387479b300f82f156de0209ba7f4c584f6e3..d2daa1ade6b37b6d4629df3cef35896d847655cf 100644
--- a/Cabal/Makefile
+++ b/Cabal/Makefile
@@ -1,5 +1,5 @@
 
-VERSION=1.18.1.2
+VERSION=1.18.1.3
 
 #KIND=devel
 KIND=rc