From 244f57d2d51a08d62b6c76154da9abaa1cc90ffe Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Tue, 21 Nov 2023 10:51:07 -0800 Subject: [PATCH] fix gold --- SBVTestSuite/GoldFiles/allSat8.gold | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/SBVTestSuite/GoldFiles/allSat8.gold b/SBVTestSuite/GoldFiles/allSat8.gold index 9a19ac01e..2ac7ad919 100644 --- a/SBVTestSuite/GoldFiles/allSat8.gold +++ b/SBVTestSuite/GoldFiles/allSat8.gold @@ -61,4 +61,4 @@ EXCEPTION CAUGHT: *** NB. If this is a use case you'd like SBV to support, please get in touch! CallStack (from HasCallStack): - error, called at ./Data/SBV/Control/Utils.hs:1484:57 in sbv-10.2.5-inplace:Data.SBV.Control.Utils + error, called at ./Data/SBV/Control/Utils.hs:1487:57 in sbv-10.2.5-inplace:Data.SBV.Control.Utils