aboutsummaryrefslogtreecommitdiffstats
path: root/backend/PrintAsm.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-05-18 09:58:14 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2015-05-18 09:58:14 +0200
commit4663ad4b31e351e29a4d8d034ad4a961a48263f1 (patch)
treed21554c60ed607bf8fdd1476431f9707bf882604 /backend/PrintAsm.ml
parent10def48b639b8e83ae6cc8bf9c14da8c12e98370 (diff)
parent5d017f110f6c23c29a182465ab7832a944c0ba26 (diff)
downloadcompcert-4663ad4b31e351e29a4d8d034ad4a961a48263f1.tar.gz
compcert-4663ad4b31e351e29a4d8d034ad4a961a48263f1.zip
Merge branch 'master' into json_export
Diffstat (limited to 'backend/PrintAsm.ml')
-rw-r--r--backend/PrintAsm.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml
index 0438a40f..e91b4e03 100644
--- a/backend/PrintAsm.ml
+++ b/backend/PrintAsm.ml
@@ -130,12 +130,12 @@ module Printer(Target:TARGET) =
let print_program oc p db =
let module Target = (val (sel_target ()):TARGET) in
let module Printer = Printer(Target) in
- PrintAnnot.reset_filenames ();
- PrintAnnot.print_version_and_options oc Target.comment;
+ 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;
- PrintAnnot.close_filenames ();
+ close_filenames ();
if !Clflags.option_g && Configuration.advanced_debug then
begin
match db with