diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-03-02 15:09:43 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-03-02 15:09:43 -0800 |
| commit | 5325b6e57714b49e8449cd5f962493aeb39d41b4 (patch) | |
| tree | 503e94d2cfb68d8b3a28776e08733a43afb03ad1 | |
| parent | 87fbe99f81b9c72e9acb34e0fae61f56164535c4 (diff) | |
Fixed typo.
| -rw-r--r-- | src/expr/node_manager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 3c79e96f2..20a011006 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -402,7 +402,7 @@ std::vector<NodeValue*> NodeManager::TopologicalSort( TypeNode NodeManager::getType(TNode n, bool check) { // Many theories' type checkers call Node::getType() directly. This - // is incorrect, since "this" might not be the caller's curent node + // is incorrect, since "this" might not be the caller's current node // manager. Rather than force the individual typecheckers not to do // this (by policy, which would be imperfect and lead to // hard-to-find bugs, which it has in the past), we just set this |