From 8f875766f11a69950a0864ae6636db0d42b21397 Mon Sep 17 00:00:00 2001
From: Joscha Mennicken <keymaerax@plugh.de>
Date: Mon, 1 Jul 2024 10:46:21 +0200
Subject: [PATCH] Bump version number to 5.1.1

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

diff --git a/build.sbt b/build.sbt
index 037bc18362..a7bcc76be8 100644
--- a/build.sbt
+++ b/build.sbt
@@ -4,7 +4,7 @@ import java.nio.file.{Files, Paths}
 import java.util.Properties
 
 ThisBuild / scalaVersion := "2.13.13"
-ThisBuild / version := "5.1.0"
+ThisBuild / version := "5.1.1"
 
 ThisBuild / scalacOptions ++= {
   // Keymaerax has lots of warnings. Due to their volume, important warnings vanish between not-so-important ones.