From 3f83ae50789d44c49bec5db292d58db3f02d5f79 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 13 Mar 2018 15:34:01 +0100 Subject: Add newline directly on list in annot. This should avoid cluttering the assembler output with .ascii "\n" lines if the annotation ends with a string and make for a better readability. Bug 23169 --- backend/PrintAsm.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'backend/PrintAsm.ml') diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 04ecbae3..92d465d5 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -162,8 +162,7 @@ module Printer(Target:TARGET) = print_addr oc Target.symbol symb | AisAnnot.String a -> fprintf oc " .ascii %S\n" a in let annot oc str = - List.iter (annot_part oc) str; - fprintf oc " .ascii \"\\n\"\n" + List.iter (annot_part oc) str in List.iter (annot oc) annots end -- cgit