From 13b1d1fbe9408659c278696fb6a0eb2f213ea78f Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 2 Oct 2015 09:52:06 +0200
Subject: Always call print debug_section in the prologue.

Since files without function definition contain no function in the
Section_text the filenum would be empty otherwise.
---
 debug/DebugInformation.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debug')

diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml
index 40cc4060..9100e60b 100644
--- a/debug/DebugInformation.ml
+++ b/debug/DebugInformation.ml
@@ -686,5 +686,5 @@ let init name =
   Hashtbl.reset compilation_section_start;
   Hashtbl.reset compilation_section_end;
   Hashtbl.reset filenum;
-  all_files := StringSet.empty;
+  all_files := StringSet.singleton name;
   printed_vars := StringSet.empty;
-- 
cgit