From 511412f984d64ed7c46c4bdbd839f4b3c48f6fa5 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 29 Jun 2024 13:34:57 +0200
Subject: [PATCH] issue2672: use z3

---
 testsuite/ghdl-issues/issue2672/repro.sby | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testsuite/ghdl-issues/issue2672/repro.sby b/testsuite/ghdl-issues/issue2672/repro.sby
index 9ab4d86..fd38ece 100644
--- a/testsuite/ghdl-issues/issue2672/repro.sby
+++ b/testsuite/ghdl-issues/issue2672/repro.sby
@@ -6,7 +6,7 @@ prove_1: mode prove
 prove_1: depth 7
 
 [engines]
-prove_1: smtbmc boolector
+prove_1: smtbmc z3
 
 [script]
 ghdl --std=08 repro.vhdl -e