From a18c816abb87574363e03b6feeacbb4bf748d5f4 Mon Sep 17 00:00:00 2001
From: Steven de Oliveira <de.oliveira.steven@gmail.com>
Date: Wed, 22 Nov 2023 14:20:34 +0100
Subject: [PATCH] Well, that's unexpected

---
 tests/smtlib/testfile-get-info1.dolmen.expected | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/smtlib/testfile-get-info1.dolmen.expected b/tests/smtlib/testfile-get-info1.dolmen.expected
index 5b23cbed9..97c90a910 100644
--- a/tests/smtlib/testfile-get-info1.dolmen.expected
+++ b/tests/smtlib/testfile-get-info1.dolmen.expected
@@ -1,7 +1,7 @@
 
 unknown
 (
- :steps 8)
+ :steps 7)
 
 unsupported