1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Expr/ExprUtil.cpp b/lib/Expr/ExprUtil.cpp
index 192c18a5..780398f0 100644
--- a/lib/Expr/ExprUtil.cpp
+++ b/lib/Expr/ExprUtil.cpp
@@ -35,7 +35,7 @@ void klee::findReads(ref<Expr> e,
     ref<Expr> top = stack.back();
     stack.pop_back();
 
-    if (ReadExpr *re = dyn_ref_cast<ReadExpr>(top)) {
+    if (ReadExpr *re = dyn_cast<ReadExpr>(top)) {
       // We memoized so can just add to list without worrying about
       // repeats.
       results.push_back(re);