diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Expr/Expr.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index 54f68f21..060595d6 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -533,9 +533,9 @@ unsigned Array::computeHash() { ref<Expr> ReadExpr::create(const UpdateList &ul, ref<Expr> index) { // rollback update nodes if possible - // Iterate throught the update list from the most recent to the - // least reasent to find a potential written value for a concrete index; - // stop, if an update with symbolic has been found as we don't know which + // Iterate through the update list from the most recent to the + // least recent to find a potential written value for a concrete index; + // stop if an update with symbolic has been found as we don't know which // array element has been updated const UpdateNode *un = ul.head; bool updateListHasSymbolicWrites = false; |