From 2bfa77d9eb3940b9b46865f7ebe760365164d312 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 2 Oct 2015 16:24:01 +0200
Subject: First try of debug information for gcc.

---
 backend/PrintAsm.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'backend/PrintAsm.ml')

diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml
index dba578b9..594b43b7 100644
--- a/backend/PrintAsm.ml
+++ b/backend/PrintAsm.ml
@@ -122,12 +122,11 @@ module Printer(Target:TARGET) =
 let print_program oc p db =
   let module Target = (val (sel_target ()):TARGET) in
   let module Printer = Printer(Target) in
-  reset_filenames ();
+  Fileinfo.reset_filenames ();
   print_version_and_options oc Target.comment;
   Target.print_prologue oc;
   List.iter (Printer.print_globdef oc) p.prog_defs;
   Target.print_epilogue oc;
-  close_filenames ();
   if !Clflags.option_g && Configuration.advanced_debug then
     begin
       let atom_to_s s =
@@ -141,4 +140,5 @@ let print_program oc p db =
       | None -> ()
       | Some db ->
           Printer.DebugPrinter.print_debug oc db
-    end
+    end;
+  Fileinfo.close_filenames ()
-- 
cgit