From 9c4211b826857b154ea5b6636d088759e9bf4d37 Mon Sep 17 00:00:00 2001 From: Timotej Kapus Date: Mon, 18 Mar 2019 13:39:49 +0000 Subject: Add Read consistency test case, spelling --- lib/Expr/Expr.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib') 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 ReadExpr::create(const UpdateList &ul, ref 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; -- cgit 1.4.1