Fixed typo.

diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp
index 3c79e96f2c1772f84a3ea22f4de879e7532d7562..20a011006cc274c1827f1e73e19c83a94a1551a7 100644 (file)
--- 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