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