From 952ee3698e7760ccbd90fac5691d455d807af3a6 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 28 Mar 2019 22:21:34 -0500
Subject: Fix issues in cvc parser (#2901)

---
 test/regress/regress0/rels/rel_transpose_3.cvc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regress/regress0/rels/rel_transpose_3.cvc')

diff --git a/test/regress/regress0/rels/rel_transpose_3.cvc b/test/regress/regress0/rels/rel_transpose_3.cvc
index 5dfe3b031..06cc82c45 100644
--- a/test/regress/regress0/rels/rel_transpose_3.cvc
+++ b/test/regress/regress0/rels/rel_transpose_3.cvc
@@ -10,6 +10,6 @@ zt : IntPair;
 ASSERT zt = (2,1);
 ASSERT (x = y);
 ASSERT z IS_IN x;
-ASSERT NOT (zt IS_IN (TRANSPOSE y));
+ASSERT NOT (zt IS_IN TRANSPOSE(y));
 
 CHECKSAT;
-- 
cgit v1.2.3