From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 2 Mar 2018 23:09:43 +0000 (-0800)
Subject: Fixed typo.
X-Git-Tag: cvc5-1.0.0~5257
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5325b6e57714b49e8449cd5f962493aeb39d41b4;p=cvc5.git

Fixed typo.
---

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