From 8fd0f8f939633421b603578d1e3f5425b18c8010 Mon Sep 17 00:00:00 2001
From: Asger Gitz-Johansen <asger.gitz@hotmail.com>
Date: Sat, 26 Nov 2022 09:05:33 +0100
Subject: [PATCH] chore: bump version number

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 4ddbc165..33830896 100644
--- a/build.gradle
+++ b/build.gradle
@@ -10,7 +10,7 @@ mainClassName = 'HUPPAAL'
 
 allprojects {
     group = 'dk.cs.aau.huppaal'
-    version = '1.3.0'
+    version = '1.3.1'
 }
 
 def getGitCommitSha = { ->