Fixed typos.

3 files changed, 3 insertions, 3 deletions

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index 85a9747fe..9650aba7a 100644
--- 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 6650e6680..5fd585588 100644
--- 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 427eba5f8..bad6cdb2b 100644
--- 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.