diff options
Diffstat (limited to 'test/regress/regress1/strings/re-agg-total1.smt2')
-rw-r--r-- | test/regress/regress1/strings/re-agg-total1.smt2 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/regress/regress1/strings/re-agg-total1.smt2 b/test/regress/regress1/strings/re-agg-total1.smt2 index 2950066a0..fba863a6c 100644 --- a/test/regress/regress1/strings/re-agg-total1.smt2 +++ b/test/regress/regress1/strings/re-agg-total1.smt2 @@ -7,9 +7,9 @@ (declare-const y String) -(assert (str.in.re x (re.* (str.to.re "ab") ) ) ) -(assert (str.in.re x (re.* (str.to.re "abab") ) ) ) -(assert (str.in.re x (re.* (str.to.re "ababac") ) ) ) +(assert (str.in_re x (re.* (str.to_re "ab") ) ) ) +(assert (str.in_re x (re.* (str.to_re "abab") ) ) ) +(assert (str.in_re x (re.* (str.to_re "ababac") ) ) ) (assert (> (str.len x) 1) ) |