From c32e15e23759d354c1491a69767093e374f52754 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 2 Jul 2015 12:59:10 +0200
Subject: Do not search for high and low pc of inlined functions.

---
 debug/DwarfTypes.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debug/DwarfTypes.mli')

diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli
index e32f6fab..e3d08e57 100644
--- a/debug/DwarfTypes.mli
+++ b/debug/DwarfTypes.mli
@@ -268,5 +268,5 @@ module type DWARF_TARGET=
     val get_end_addr: unit -> int
     val get_stmt_list_addr: unit -> int    
     val name_of_section: section_name -> string
-    val get_fun_addr: string -> int * int
+    val get_fun_addr: string -> (int * int) option
   end
-- 
cgit