diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-17 12:16:17 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-17 12:16:17 -0800 |
commit | 248b977790b429ebfd22481462193e3e35c57ce2 (patch) | |
tree | 9a59a408d113d6a3347f013c2492291769406e82 /src/expr/node_manager.cpp | |
parent | 4538f5fe95758f2507c191ab39175491f24e6f67 (diff) |
Removes yet more throw specifiers. Updating the documentation as needed. (#1518)
Diffstat (limited to 'src/expr/node_manager.cpp')
-rw-r--r-- | src/expr/node_manager.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 85f5e3c75..3c79e96f2 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -400,8 +400,7 @@ std::vector<NodeValue*> NodeManager::TopologicalSort( } /* NodeManager::TopologicalSort() */ TypeNode NodeManager::getType(TNode n, bool check) - throw(TypeCheckingExceptionPrivate, AssertionException) { - +{ // Many theories' type checkers call Node::getType() directly. This // is incorrect, since "this" might not be the caller's curent node // manager. Rather than force the individual typecheckers not to do |