projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3db60fa) | patch
Fix printing of define named function (#5425)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 Nov 2020 23:03:30 +0000 (17:03 -0600)
committerGitHub <noreply@github.com>
Thu, 12 Nov 2020 23:03:30 +0000 (17:03 -0600)
commit83af1ef582a7ff3749126a5d91d5ef0ac34c1516
treea5a7aec20ff5e6bb4256e1bd301568710b877f49tree
parent3db60fa3fba4787cc33a61c1a357c43ba1cc9d6dcommit | diff
Fix printing of define named function (#5425)

Fixes the case where the type of the function is not a function type.
src/smt/command.cpp diff | blob | history