diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-10-01 16:38:15 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-01 21:38:15 +0000 |
commit | 8210a5ebefd4cc0779d7968e891db5bc63dba545 (patch) | |
tree | 2688bef07728a5928c2329a7ecaa56fbe4a4400d /test/regress/CMakeLists.txt | |
parent | 8848b31ec753ba87522fb6e5d76163f2979e73a2 (diff) |
Fix ascription check for return types on ordinary functions (#7290)
Fixes #7274.
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 3bfe356fa..768fe852f 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -779,6 +779,7 @@ set(regress_0_tests regress0/parser/force_logic_set_logic.smt2 regress0/parser/force_logic_success.smt2 regress0/parser/issue5163.smt2 + regress0/parser/issue7274.smt2 regress0/parser/linear_arithmetic_err1.smt2 regress0/parser/linear_arithmetic_err2.smt2 regress0/parser/linear_arithmetic_err3.smt2 |