diff options
Diffstat (limited to 'test/regress/regress3')
| -rw-r--r-- | test/regress/regress3/comb2.shuffled-as.sat03-420.smt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress3/comb2.shuffled-as.sat03-420.smt b/test/regress/regress3/comb2.shuffled-as.sat03-420.smt index 19d6e6e24..b1d9309a3 100644 --- a/test/regress/regress3/comb2.shuffled-as.sat03-420.smt +++ b/test/regress/regress3/comb2.shuffled-as.sat03-420.smt @@ -141963,7 +141963,7 @@ :assumption (or x29226 x31829) :assumption (or x23991 (not x24837)) :assumption (or (not x14986) x23755) -:assumption (or (not x30806)) +:assumption (not x30806) :assumption (or (not x14192) (not x20229)) :assumption (or x4259 (not x10154)) :assumption (or (not x20740) (not x1847)) |