diff options
Diffstat (limited to 'test/regress/regress0/distinct.smt')
-rw-r--r-- | test/regress/regress0/distinct.smt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/distinct.smt b/test/regress/regress0/distinct.smt index 3c3578edc..8c36a9acb 100644 --- a/test/regress/regress0/distinct.smt +++ b/test/regress/regress0/distinct.smt @@ -2,4 +2,4 @@ :logic QF_UF :status unsat :extrafuns ((x U) (y U) (z U)) - :formula (not (iff (distinct x y z) (and (not (= x y)) (not (= x z)) (not (= y z))))))
\ No newline at end of file + :formula (not (iff (distinct x y z) (and (not (= x y)) (not (= x z)) (not (= y z)))))) |