From e4e9c2819ed42987ba997b86de6552d223f787c9 Mon Sep 17 00:00:00 2001
From: Steven de Oliveira <de.oliveira.steven@gmail.com>
Date: Mon, 9 Oct 2023 13:24:49 +0200
Subject: [PATCH] Update tests

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

diff --git a/tests/smtlib/testfile-get-info1.dolmen.expected b/tests/smtlib/testfile-get-info1.dolmen.expected
index ac5fd363b..5acfec7e4 100644
--- a/tests/smtlib/testfile-get-info1.dolmen.expected
+++ b/tests/smtlib/testfile-get-info1.dolmen.expected
@@ -1,6 +1,7 @@
 
 unknown
-unsupported
+()
+
 
 unsupported