projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a695dc) | patch
Set NodeManager to nullptr when exporting vars (#2445)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 11 Sep 2018 02:27:05 +0000 (19:27 -0700)
committerGitHub <noreply@github.com>
Tue, 11 Sep 2018 02:27:05 +0000 (19:27 -0700)
commit0d997c9351fa1acf0f950c9094fd3e8945d9acf3
treebbb48d0e1f14596bebb7f045e4af74976cb717bdtree
parent1a695dcbe3036ab0f1922c5655c082ec1f14db97commit | diff
Set NodeManager to nullptr when  exporting vars (#2445)

PR #2409 assumed that temporarily setting the NodeManager to nullptr
when creating variables is not needed anymore. However, this made our
portfolio build fail. This commit reintroduces the temporary NodeManager
change while creating variables.
src/expr/expr_template.cpp diff | blob | history