From cf33f833c9c8dd28b44a3177ef0b759e0f46cb86 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 15 May 2018 21:22:31 +0100
Subject: Simplified printFileLine by using std::to_string, and removed
 unneeded version that takes an argument a stream

---
 include/klee/Internal/Module/KInstruction.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/Internal/Module/KInstruction.h b/include/klee/Internal/Module/KInstruction.h
index 98e4e3d0..a81e8d8f 100644
--- a/include/klee/Internal/Module/KInstruction.h
+++ b/include/klee/Internal/Module/KInstruction.h
@@ -44,7 +44,6 @@ namespace klee {
 
   public:
     virtual ~KInstruction();
-    void printFileLine(llvm::raw_ostream &) const;
     std::string printFileLine() const;
 
   };
-- 
cgit 1.4.1