projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8848b31) | patch
Fix ascription check for return types on ordinary functions (#7290)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 1 Oct 2021 21:38:15 +0000 (16:38 -0500)
committerGitHub <noreply@github.com>
Fri, 1 Oct 2021 21:38:15 +0000 (21:38 +0000)
commit8210a5ebefd4cc0779d7968e891db5bc63dba545
tree2688bef07728a5928c2329a7ecaa56fbe4a4400dtree
parent8848b31ec753ba87522fb6e5d76163f2979e73a2commit | diff
Fix ascription check for return types on ordinary functions (#7290)

Fixes #7274.
src/parser/parser.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/parser/issue7274.smt2 [new file with mode: 0644] blob