Executor.h: remove defined functions without implementation

1 files changed, 0 insertions, 7 deletions

diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index c3111713..26f99b57 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -243,9 +243,6 @@ private:
   
   void executeInstruction(ExecutionState &state, KInstruction *ki);
 
-  void printFileLine(ExecutionState &state, KInstruction *ki,
-                     llvm::raw_ostream &file);
-
   void run(ExecutionState &initialState);
 
   // Given a concrete object in our [klee's] address space, add it to 
@@ -459,10 +456,6 @@ private:
   /// constant values.
   void bindInstructionConstants(KInstruction *KI);
 
-  void handlePointsToObj(ExecutionState &state, 
-                         KInstruction *target, 
-                         const std::vector<ref<Expr> > &arguments);
-
   void doImpliedValueConcretization(ExecutionState &state,
                                     ref<Expr> e,
                                     ref<ConstantExpr> value);