From a41ca0c0ed6acdb17362886c4c9650c4c353afef Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 6 Jul 2018 17:36:33 +0100
Subject: Coq: Avoid clashes with the monad name, M

---
 src/pretty_print_coq.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/pretty_print_coq.ml b/src/pretty_print_coq.ml
index 9cc85601..1eb62193 100644
--- a/src/pretty_print_coq.ml
+++ b/src/pretty_print_coq.ml
@@ -136,6 +136,7 @@ let rec fix_id remove_tick name = match name with
   | "EQ"
   | "Z"
   | "mod"
+  | "M"
     -> name ^ "'"
   | _ ->
      if String.contains name '#' then
@@ -146,7 +147,7 @@ let rec fix_id remove_tick name = match name with
        fix_id remove_tick (String.concat "__" (Util.split_on_char '^' name))
      else if name.[0] = '\'' then
        let var = String.sub name 1 (String.length name - 1) in
-       if remove_tick then var else (var ^ "'")
+       if remove_tick then fix_id remove_tick var else (var ^ "'")
      else if is_number_char(name.[0]) then
        ("v" ^ name ^ "'")
      else name
-- 
cgit v1.2.3