From 343059b1024ca9e1b1a7e49ff51fed6da1270933 Mon Sep 17 00:00:00 2001
From: "maul.esel" <maul.esel@posteo.de>
Date: Wed, 6 Nov 2024 18:14:57 +0100
Subject: [PATCH] Ultimate: add new expected launcher JAR

---
 benchexec/tools/ultimate.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/benchexec/tools/ultimate.py b/benchexec/tools/ultimate.py
index 236699a99..219a735d9 100644
--- a/benchexec/tools/ultimate.py
+++ b/benchexec/tools/ultimate.py
@@ -30,6 +30,7 @@
 _LAUNCHER_JARS = [
     "plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar",
     "plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar",
+    "plugins/org.eclipse.equinox.launcher_1.6.800.v20240513-1750.jar",
 ]