diff --git a/build.num b/build.num
index e5b0cf5..e2d7bca 100644
--- a/build.num
+++ b/build.num
@@ -1,3 +1,3 @@
 #Build Number for ANT. Do not edit!
-#Tue Jun 12 13:22:06 CEST 2018
-build.number=12
+#Wed Jun 13 13:33:39 CEST 2018
+build.number=13