From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 15 Dec 2009 17:26:09 +0000 (+0000)
Subject: minor: fixing typos
X-Git-Tag: cvc5-1.0.0~9377
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=094e37d8879834c7bd30452f841953293a5e2825;p=cvc5.git

minor: fixing typos
---

diff --git a/src/expr/expr.h b/src/expr/expr.h
index dc1926ce7..34a94ee66 100644
--- a/src/expr/expr.h
+++ b/src/expr/expr.h
@@ -120,7 +120,7 @@ protected:
   /**
    * Constructor for internal purposes.
    * @param em the expression manager that handles this expression
-   * @param node the actuall expression node pointer
+   * @param node the actual expression node pointer
    */
   Expr(ExprManager* em, Node* node);
 
@@ -136,7 +136,7 @@ protected:
    */
   Node getNode() const;
 
-  // Friend to access the actual internal node information and private methods*/
+  // Friend to access the actual internal node information and private methods
   friend class SmtEngine;
   friend class ExprManager;
 };
diff --git a/src/expr/node.h b/src/expr/node.h
index 98847e428..17d1c0111 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -1,5 +1,5 @@
 /*********************                                           -*- C++ -*-  */
-/** cvc4_expr.h
+/** node.h
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences