diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-08 08:50:14 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-08 08:50:14 -0500 |
commit | 98a78889a4c4168f9c6632a0e19e1b8f422c4a9d (patch) | |
tree | 2f4189c7ac56a232ad8f8eec780c5915d07d1ccb /src/expr/node_manager.h | |
parent | 82f5610afdf5a45404e6acecfc117bb29f98963f (diff) |
Eliminate call to currentNM within NodeManager (#4227)
Eliminates 2 unintentional calls to the global access function.
Diffstat (limited to 'src/expr/node_manager.h')
-rw-r--r-- | src/expr/node_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 2e8f40fff..aea49d979 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -517,7 +517,7 @@ public: Node* mkBoundVarPtr(const TypeNode& type); /** get the canonical bound variable list for function type tn */ - static Node getBoundVarListForFunctionType( TypeNode tn ); + Node getBoundVarListForFunctionType( TypeNode tn ); /** * Optional flags used to control behavior of NodeManager::mkSkolem(). |