projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4fde71) | patch
Fixes bug 781. Copy constructor for Expr needed to set the NodeManagerScope.
authorTim King <taking@google.com>
Thu, 16 Mar 2017 21:06:17 +0000 (14:06 -0700)
committerTim King <taking@google.com>
Thu, 16 Mar 2017 21:06:17 +0000 (14:06 -0700)
commitafe84522b87b6fc0ad5d0e9a396b61f7b523f674
treeaaeef8f32b64b37438b227af5cf6706910862c27tree
parente4fde716f0b8266412cb6dc6326642c718839b71commit | diff
Fixes bug 781. Copy constructor for Expr needed to set the NodeManagerScope.
src/expr/expr_template.cpp diff | blob | history
src/expr/type.cpp diff | blob | history