diff --git a/src/lib.rs b/src/lib.rs
index a3eea4b344ecfb6ac8dd61f2a9859d3d643135b7..dfa1bedf09243584031b7307d00f8060a9a18492 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -127,7 +127,6 @@ where
         F: FnOnce(T) -> T,
     {
         f(self.read());
-        klee::abort();
     }
 
     /// Reads the symbolic value of the register