From d9fe9124fb20a0a4dd104d997336a80314feab58 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Peter=20W=2E=20V=2E=20Tran-J=C3=B8rgensen?= <pvj@eng.au.dk>
Date: Sat, 1 Jul 2017 22:13:07 +0200
Subject: [PATCH] Prepare release of VDM2C 0.1.8

---
 overture.release.properties | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/overture.release.properties b/overture.release.properties
index 7bf51049..5852c24e 100644
--- a/overture.release.properties
+++ b/overture.release.properties
@@ -1,3 +1,3 @@
-Release version 				= 0.1.6
-New development version = 0.1.7-SNAPSHOT
+Release version 				= 0.1.8
+New development version = 0.1.9-SNAPSHOT