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.h | |
parent | 4538f5fe95758f2507c191ab39175491f24e6f67 (diff) |
Removes yet more throw specifiers. Updating the documentation as needed. (#1518)
Diffstat (limited to 'src/expr/node_manager.h')
-rw-r--r-- | src/expr/node_manager.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index d9345a5f5..e1ba28be9 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -902,8 +902,7 @@ public: * @param check whether we should check the type as we compute it * (default: false) */ - TypeNode getType(TNode n, bool check = false) - throw(TypeCheckingExceptionPrivate, AssertionException); + TypeNode getType(TNode n, bool check = false); /** * Convert a node to an expression. Uses the ExprManager |