From 11f3e765be1a165c684f6b9093b882bcda2d97dc Mon Sep 17 00:00:00 2001
From: Alain Frisch <alain@frisch.fr>
Date: Wed, 24 Sep 2014 15:20:24 +0000
Subject: [PATCH] Fix syntax for comments in gas (not currently used, but
 useful to mark parts of the generated output).

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 asmcomp/intel_gas.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/asmcomp/intel_gas.ml b/asmcomp/intel_gas.ml
index a276c7e58..4add86591 100644
--- a/asmcomp/intel_gas.ml
+++ b/asmcomp/intel_gas.ml
@@ -240,7 +240,7 @@ let print_line b = function
   | Bytes s ->
       if system = S_solaris then assert false (* TODO *)
       else bprintf b "\t.ascii\t\"%s\"" (string_of_string_literal s)
-  | Comment s -> bprintf b "\t\t\t\t(* %s *)" s
+  | Comment s -> bprintf b "\t\t\t\t/* %s */" s
   | End -> ()
   | Global s -> bprintf b "\t.globl\t%s" s;
   | Long n -> bprintf b "\t.long\t%a" cst n