diff options
Diffstat (limited to 'lib/Solver')
| -rw-r--r-- | lib/Solver/CexCachingSolver.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Solver/CexCachingSolver.cpp b/lib/Solver/CexCachingSolver.cpp index 27a165e1..a7d8148d 100644 --- a/lib/Solver/CexCachingSolver.cpp +++ b/lib/Solver/CexCachingSolver.cpp @@ -123,7 +123,7 @@ struct NullOrSatisfyingAssignment { /// searchForAssignment - Look for a cached solution for a query. /// /// \param key - The query to look up. -/// \param result [out] - The cached result, if the lookup is succesful. This is +/// \param result [out] - The cached result, if the lookup is successful. This is /// either a satisfying assignment (for a satisfiable query), or 0 (for an /// unsatisfiable query). /// \return - True if a cached result was found. @@ -192,7 +192,7 @@ bool CexCachingSolver::searchForAssignment(KeyType &key, Assignment *&result) { /// /// \param query - The query to lookup. /// \param key [out] - On return, the key constructed for the query. -/// \param result [out] - The cached result, if the lookup is succesful. This is +/// \param result [out] - The cached result, if the lookup is successful. This is /// either a satisfying assignment (for a satisfiable query), or 0 (for an /// unsatisfiable query). /// \return True if a cached result was found. |