From 93dd487b972743a3081b311a07a66bc499a9b723 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 8 Apr 2016 09:56:29 +0100
Subject: Remove dead function declaration

---
 tools/klee/main.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 568c70bb..33d62d4d 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -261,10 +261,6 @@ public:
   std::string getTestFilename(const std::string &suffix, unsigned id);
   llvm::raw_fd_ostream *openTestFile(const std::string &suffix, unsigned id);
 
-  // load a .out file
-  static void loadOutFile(std::string name,
-                          std::vector<unsigned char> &buffer);
-
   // load a .path file
   static void loadPathFile(std::string name,
                            std::vector<bool> &buffer);
-- 
cgit 1.4.1