fix rewrite-rules syntax in regression

diff --git a/test/regress/regress0/push-pop/bug326.smt2 b/test/regress/regress0/push-pop/bug326.smt2
index 04b417e177302ba39810f22ad6100d6e027a7760..d32d6fddf47f533005d3eaa7d5a2f4f4bd35326e 100644 (file)
--- a/test/regress/regress0/push-pop/bug326.smt2
+++ b/test/regress/regress0/push-pop/bug326.smt2
@@ -6,13 +6,13 @@
 (declare-fun R (Int Int) Bool)
 
 ;; reflexive
-(assert-rewrite ((x Int)) () (R x x) true ())
+(assert-rewrite ((x Int)) () () (R x x) true)
 
 ;; anti-symmetric
-(assert-reduction ((x Int) (y Int)) () ((R x y) (R y x)) (= x y) ())
+(assert-reduction ((x Int) (y Int)) () () ((R x y) (R y x)) (= x y))
 
 ;; transitive
-(assert-propagation ((x Int) (y Int) (z Int)) () ((R x y) (R y z)) (R x z) ())
+(assert-propagation ((x Int) (y Int) (z Int)) () () ((R x y) (R y z)) (R x z))
 
 
 (declare-fun e1 () Int)