From 99590ec210dd1784f8940c99bc1f34c707223e15 Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Mon, 11 Mar 2024 23:51:13 -0700
Subject: [PATCH] typo

---
 tests/regress/mcsat/issue400.smt2.gold | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tests/regress/mcsat/issue400.smt2.gold b/tests/regress/mcsat/issue400.smt2.gold
index 0d653d741..6b8a2c3d2 100644
--- a/tests/regress/mcsat/issue400.smt2.gold
+++ b/tests/regress/mcsat/issue400.smt2.gold
@@ -1,2 +1 @@
 sat
-