1 files changed, 0 insertions, 10 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 22e4ac92..4dd486b6 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -93,11 +93,9 @@
 #include <iosfwd>
 #include <limits>
 #include <sstream>
-#include <stdlib.h>
 #include <string>
 #include <sys/mman.h>
 #include <sys/resource.h>
-#include <unistd.h>
 #include <vector>
 
 using namespace llvm;
@@ -4695,14 +4693,6 @@ void Executor::executeMakeSymbolic(ExecutionState &state,
     bindObjectInState(state, mo, false, array);
     state.addSymbolic(mo, array);
 
-    if (Differentiator::isSymArg(uniqueName)) {
-      assert(std::atoi(name.c_str() + 3) == this->symArgs.size());
-      this->symArgs.push_back(mo->size - 1); // string's null termination
-    } else if (Differentiator::isSymOut(uniqueName)) {
-      // assert(this->symOuts.find(uniqueName) == this->symOuts.end());
-      this->symOuts[uniqueName] = mo->size;
-    }
-
     auto found = seedMap.find(&state);
     if (found != seedMap.end()) {
       // In seed mode we need to add this as binding