From 5e31e7ae7543969666e2ed811ee4c90d991f9da9 Mon Sep 17 00:00:00 2001
From: Marco Eilers <marcoeilers@users.noreply.github.com>
Date: Sat, 28 Jan 2023 23:54:33 +0100
Subject: [PATCH] Update Boogie version

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index e6921718..6fdedecd 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -19,7 +19,7 @@ jobs:
         python-version: 3.8
     - name: Install Boogie
       run: |
-        dotnet tool install --global Boogie --version 2.4.21
+        dotnet tool install --global Boogie --version 2.15.9
     - name: Install Nagini
       run: |
         python -m pip install --upgrade pip