1 files changed, 0 insertions, 4 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 61455ef6..a1fd5b4a 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -68,9 +68,6 @@ namespace {
   cl::opt<std::string>
   InputFile(cl::desc("<input bytecode>"), cl::Positional, cl::Required);
 
-  cl::opt<std::string>
-  InputProgram(cl::desc("<input program>"), cl::Positional, cl::Required);
-
   cl::list<std::string>
   InputArgv(cl::ConsumeAfter,
             cl::desc("<program arguments>..."));
@@ -1422,7 +1419,6 @@ int main(int argc, char **argv, char **envp) {
   if (!ReplayPathFile.empty()) {
     KleeHandler::loadPathFile(ReplayPathFile, replayPath);
   }
-  interpreter->setProgram(InputProgram);
 
   auto startTime = std::time(nullptr);
   { // output clock info and start time