From c63743ea76265698f6a7f9f65cbbe0b5406e4634 Mon Sep 17 00:00:00 2001
From: Leo Freitas <Leo.Freitas@newcastle.ac.uk>
Date: Wed, 25 Sep 2024 13:49:46 +0100
Subject: [PATCH] go to new release

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 909b82ea..11aa2d4c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -18,7 +18,7 @@
 		<!-- Change VDM Toolkit  -->
 	    <revision>1.2.0-SNAPSHOT</revision>
 		<!-- VDMJ version, which percolates to all dependent POMs -->	
-		<dk.au.ece.vdmj-version>4.6.0-SNAPSHOT</dk.au.ece.vdmj-version>
+		<dk.au.ece.vdmj-version>4.6.0</dk.au.ece.vdmj-version>
 	</properties>
 
 	<!-- sub modules -->