From b737b76ce25ded750fa0d10b10414566c0856810 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 17 May 2018 11:53:08 +0100
Subject: Renamed printFileLine to getSourceLocation (as suggested by
 @delcypher) to reflect the fact that it simply returns a string

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

(limited to 'include')

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