projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5151238) | patch
Use new let binding for cvc printer (#5561)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Dec 2020 16:17:09 +0000 (10:17 -0600)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 16:17:09 +0000 (10:17 -0600)
commit57b54a2eba7904652dfaf7e32b4eac8abd22c79b
tree79e8ef9e722f62b48ee948a0cce9078afff7f2f0tree
parent5151238c98492fe332a2603c05752f3319ae8035commit | diff
Use new let binding for cvc printer (#5561)

Also changes names slightly to avoid accidental uses of toStream, which can lead to infinite loops if the wrong version is used.
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/cvc/cvc_printer.h diff | blob | history
test/unit/expr/node_black.h diff | blob | history