From 68ad5472a78d12e0e4fd4eae422122185403d678 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 28 Sep 2015 18:39:43 +0200
Subject: Change the way the debug sections are printed.

If a user uses the #pragma use_section for functions the diab linker
requires a separate debug_info section for each entry. This commit
adds functionality to emulate this behavior.
---
 common/Sections.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'common/Sections.mli')

diff --git a/common/Sections.mli b/common/Sections.mli
index eca9a993..cf6f13b8 100644
--- a/common/Sections.mli
+++ b/common/Sections.mli
@@ -26,7 +26,7 @@ type section_name =
   | Section_literal
   | Section_jumptable
   | Section_user of string * bool (*writable*) * bool (*executable*)
-  | Section_debug_info
+  | Section_debug_info of string
   | Section_debug_abbrev
   | Section_debug_loc
 
-- 
cgit