Fixed typos.

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index 85a9747fea218ffbe700dd2e4c0d104b1c9abfa4..9650aba7a3b358950028799773a441472af779e6 100644 (file)
--- a/src/options/options_template.cpp
+++ b/src/options/options_template.cpp
@@ -112,7 +112,7 @@ struct OptionHandler<T, true, true> {
 
       if(!success){
         throw OptionException(option + ": failed to parse "+ optionarg +
-                              " as an integer of the appropraite type.");
+                              " as an integer of the appropriate type.");
       }
 
       // Depending in the platform unsigned numbers with '-' signs may parse.

diff --git a/src/theory/arith/cut_log.h b/src/theory/arith/cut_log.h
index 6650e668091d85d0d6632711c713c38ee2a5a1b9..5fd585588bd4af41ec6483b4ac79e335bd9f14f6 100644 (file)
--- a/src/theory/arith/cut_log.h
+++ b/src/theory/arith/cut_log.h
@@ -216,7 +216,7 @@ public:
   int getUpId() const;
 
   /**
-   * Looks up a row id to the appropraite arith variable.
+   * Looks up a row id to the appropriate arith variable.
    * Be careful these are deleted in context during replay!
    * failure returns ARITHVAR_SENTINEL */
   ArithVar lookupRowId(int rowId) const;

diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index 427eba5f8961eb49fdcf67f91f76534ff82acb34..bad6cdb2b78b8ebfec36a9eec2ec1d6fdd46041f 100644 (file)
--- a/src/util/sexpr.h
+++ b/src/util/sexpr.h
@@ -13,7 +13,7 @@
  **
  ** Simple representation of S-expressions.
  ** These are used when a simple, and obvious interface for basic
- ** expressions is appropraite.
+ ** expressions is appropriate.
  **
  ** These are quite ineffecient.
  ** These are totally disconnected from any ExprManager.