From bb86d6f915bb31820a8dc36f40d96c60b8fe66fb Mon Sep 17 00:00:00 2001
From: claudio <belolourenco@gmail.com>
Date: Fri, 14 Jun 2024 11:11:33 +0100
Subject: [PATCH] env set

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

diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
index 39bd80e..18dc6ae 100644
--- a/.github/workflows/set-up-environment.yml
+++ b/.github/workflows/set-up-environment.yml
@@ -23,6 +23,7 @@ jobs:
         eval $(opam env)
         cp $(which alt-ergo) $(which alt-ergo)-2.4.2
         opam install alt-ergo.2.5.3
+        eval $(opam env)
         opam install eprover.2.6
         # it's possible to install z3 as follows
         # opam install z3.4.11.2