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
-