From 2d380eea5900d7650c5ddfe8cf8d19d2554d0031 Mon Sep 17 00:00:00 2001
From: Wolfgang Maier <maierw@informatik.uni-freiburg.de>
Date: Fri, 26 Apr 2024 14:55:18 +0200
Subject: [PATCH] Update varVAMP to latest release (#5969)

---
 tools/varvamp/macros.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/varvamp/macros.xml b/tools/varvamp/macros.xml
index 9dae6805473..7468c95866d 100644
--- a/tools/varvamp/macros.xml
+++ b/tools/varvamp/macros.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0"?>
 <macros>
-    <token name="@TOOL_VERSION@">1.1.2</token>
+    <token name="@TOOL_VERSION@">1.1.3</token>
     <token name="@VERSION_SUFFIX@">0</token>
     <xml name="main_parameters">
         <conditional name="main_params">