From c7ddc218850d45e26d24cda035623adea4396434 Mon Sep 17 00:00:00 2001 From: Thomas Hader Date: Tue, 2 Jul 2024 15:21:47 +0200 Subject: [PATCH] fixed test gold file --- tests/regress/mcsat/ff/invalid-fieldsize.smt2.gold | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/regress/mcsat/ff/invalid-fieldsize.smt2.gold b/tests/regress/mcsat/ff/invalid-fieldsize.smt2.gold index a6b555583..4b1e25d32 100644 --- a/tests/regress/mcsat/ff/invalid-fieldsize.smt2.gold +++ b/tests/regress/mcsat/ff/invalid-fieldsize.smt2.gold @@ -1 +1 @@ -(error "at line 4, column 36: invalid finite field size") +(error "at line 4, column 36: invalid finite field order")