Skip to content

Commit

Permalink
fixed test gold file
Browse files Browse the repository at this point in the history
  • Loading branch information
Thomas Hader committed Jul 2, 2024
1 parent df03f4f commit c7ddc21
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/regress/mcsat/ff/invalid-fieldsize.smt2.gold
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
(error "at line 4, column 36: invalid finite field size")
(error "at line 4, column 36: invalid finite field order")

0 comments on commit c7ddc21

Please sign in to comment.