From 1af37be2fb7b874620a1f748e715ba4e75029ca0 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 25 Jul 2017 18:47:28 +0100
Subject: Added another variant of printFileLine in KInstruction that returns
 the location as a string.  Also added const qualifier to the printFileLine
 functions

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

(limited to 'include')

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