projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 82f5610) | patch
Eliminate call to currentNM within NodeManager (#4227)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 8 Apr 2020 13:50:14 +0000 (08:50 -0500)
committerGitHub <noreply@github.com>
Wed, 8 Apr 2020 13:50:14 +0000 (08:50 -0500)
commit98a78889a4c4168f9c6632a0e19e1b8f422c4a9d
tree2f4189c7ac56a232ad8f8eec780c5915d07d1ccbtree
parent82f5610afdf5a45404e6acecfc117bb29f98963fcommit | diff
Eliminate call to currentNM within NodeManager (#4227)

Eliminates 2 unintentional calls to the global access function.
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history