From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 4 Aug 2017 17:28:16 +0000 (-0700)
Subject: Fix typos in comments
X-Git-Tag: cvc5-1.0.0~5697
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6185dcb2245de3cf3dc3b3393b8b73f5a4f4e708;p=cvc5.git

Fix typos in comments
---

diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h
index 8426ac6cf..0d0735127 100644
--- a/src/util/integer_gmp_imp.h
+++ b/src/util/integer_gmp_imp.h
@@ -252,7 +252,7 @@ public:
   }
 
   /**
-   * Computes a quoitent and remainder according to Boute's Euclidean definition.
+   * Computes a quotient and remainder according to Boute's Euclidean definition.
    * euclidianDivideQuotient, euclidianDivideRemainder.
    *
    * Boute, Raymond T. (April 1992).
@@ -286,7 +286,7 @@ public:
     }
   }
   /**
-   * Returns the quoitent according to Boute's Euclidean definition.
+   * Returns the quotient according to Boute's Euclidean definition.
    * See the documentation for euclidianQR.
    */
   Integer euclidianDivideQuotient(const Integer& y) const {
@@ -296,7 +296,7 @@ public:
   }
 
   /**
-   * Returns the remainfing according to Boute's Euclidean definition.
+   * Returns the remainder according to Boute's Euclidean definition.
    * See the documentation for euclidianQR.
    */
   Integer euclidianDivideRemainder(const Integer& y) const {