From c91b33e36d96a51329d53bd9efa1523e567d1812 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 6 Mar 2018 10:42:04 +0100 Subject: Fix arm compile broken by merge problems. --- arm/TargetPrinter.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'arm/TargetPrinter.ml') diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml index 9c1e296b..99112f12 100644 --- a/arm/TargetPrinter.ml +++ b/arm/TargetPrinter.ml @@ -15,7 +15,6 @@ open Printf open Camlcoq open Sections -open AisAnnot open AST open Asm open PrintAsmaux @@ -465,10 +464,9 @@ struct fprintf oc "%s annotation: %S\n" comment annot | 2 -> let lbl = new_label () in fprintf oc "%a: " label lbl; - add_ais_annot lbl preg_annot "sp" (camlstring_of_coqstring txt) args + AisAnnot.add_ais_annot lbl preg_annot "sp" (camlstring_of_coqstring txt) args | _ -> assert false - end; - 0 + end | EF_debug(kind, txt, targs) -> print_debug_info comment print_file_line preg_annot "sp" oc (P.to_int kind) (extern_atom txt) args -- cgit