Skip to content

Commit

Permalink
fix gold
Browse files Browse the repository at this point in the history
  • Loading branch information
@LeventErkok
LeventErkok committed Nov 21, 2023
1 parent e2e4d7b commit 244f57d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion SBVTestSuite/GoldFiles/allSat8.gold
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 244f57d

Please sign in to comment.