From cfd5e458e8fb8a92db60e90b40c9889e370f116b Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 9 Jun 2021 13:24:24 +0200
Subject: comment is now ## due to some weird MacOS bug

---
 x86/TargetPrinter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'x86')

diff --git a/x86/TargetPrinter.ml b/x86/TargetPrinter.ml
index 2000f96a..50c871e4 100644
--- a/x86/TargetPrinter.ml
+++ b/x86/TargetPrinter.ml
@@ -96,7 +96,7 @@ let z oc n = output_string oc (Z.to_string n)
 let data_pointer = if Archi.ptr64 then ".quad" else ".long"
 
 (* The comment deliminiter *)
-let comment = "#"
+let comment = "##"
 
 (* Base-2 log of a Caml integer *)
 let rec log2 n =
-- 
cgit