2 files changed, 7 insertions, 3 deletions
diff --git a/include/klee/Module/KCallable.h b/include/klee/Module/KCallable.h
index bf8b17ea..6fe8419d 100644
--- a/include/klee/Module/KCallable.h
+++ b/include/klee/Module/KCallable.h
@@ -32,7 +32,7 @@ public:
   CallableKind getKind() const { return Kind; }
 
   virtual llvm::StringRef getName() const = 0;
-  virtual llvm::PointerType *getType() const = 0;
+  virtual llvm::FunctionType *getFunctionType() const = 0;
   virtual llvm::Value *getValue() = 0;
 
   virtual ~KCallable() = default;
@@ -55,7 +55,9 @@ public:
 
   llvm::StringRef getName() const override { return name; }
 
-  llvm::PointerType *getType() const override { return value->getType(); }
+  llvm::FunctionType *getFunctionType() const override {
+    return value->getFunctionType();
+  }
 
   llvm::Value *getValue() override { return value; }
 
diff --git a/include/klee/Module/KModule.h b/include/klee/Module/KModule.h
index 71fe8a0a..e2dc71d1 100644
--- a/include/klee/Module/KModule.h
+++ b/include/klee/Module/KModule.h
@@ -64,7 +64,9 @@ namespace klee {
 
     llvm::StringRef getName() const override { return function->getName(); }
 
-    llvm::PointerType *getType() const override { return function->getType(); }
+    llvm::FunctionType *getFunctionType() const override {
+      return function->getFunctionType();
+    }
 
     llvm::Value *getValue() override { return function; }