diff options
Diffstat (limited to 'test/regress/regress0/fmf/issue4872-qf_ufc.smt2')
| -rw-r--r-- | test/regress/regress0/fmf/issue4872-qf_ufc.smt2 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/fmf/issue4872-qf_ufc.smt2 b/test/regress/regress0/fmf/issue4872-qf_ufc.smt2 index c46bc1e28..c265dddcd 100644 --- a/test/regress/regress0/fmf/issue4872-qf_ufc.smt2 +++ b/test/regress/regress0/fmf/issue4872-qf_ufc.smt2 @@ -2,6 +2,6 @@ (set-info :status sat) (declare-sort S0 0) (declare-const S0-0 S0) -(assert (fmf.card S0-0 1)) -(assert (fmf.card S0-0 4)) +(assert (_ fmf.card S0 1)) +(assert (_ fmf.card S0 4)) (check-sat) |