1 files changed, 1 insertions, 0 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index a1fd5b4a..56c932e8 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -1418,6 +1418,7 @@ int main(int argc, char **argv, char **envp) {
   std::vector<bool> replayPath;
   if (!ReplayPathFile.empty()) {
     KleeHandler::loadPathFile(ReplayPathFile, replayPath);
+    interpreter->setReplayPath(&replayPath);
   }
 
   auto startTime = std::time(nullptr);