From 22d9c001ba8f4642e3a63b6bb96984b697a32a25 Mon Sep 17 00:00:00 2001
From: claudio <belolourenco@gmail.com>
Date: Fri, 14 Jun 2024 13:35:12 +0100
Subject: [PATCH] update why3 version

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

diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
index 1276755..982ca9c 100644
--- a/.github/workflows/set-up-environment.yml
+++ b/.github/workflows/set-up-environment.yml
@@ -18,7 +18,7 @@ jobs:
     - name: install tools with opam
       run: |
         opam update
-        opam install why3.1.6.0
+        opam install why3.1.7.2
         # install both alt-ergo 2.4.2 and alt-ergo 2.5.3
         opam install alt-ergo.2.4.2
         # install both eprover-2.6 and eprover-3.0