From 57380afc09bf5ce5748d2e21584474827c7eb76b Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 24 Sep 2018 17:33:20 +0100
Subject: Coq: avoid variables called tt (the unit constant)

---
 src/pretty_print_coq.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/pretty_print_coq.ml b/src/pretty_print_coq.ml
index 1ae31934..b4fc4a72 100644
--- a/src/pretty_print_coq.ml
+++ b/src/pretty_print_coq.ml
@@ -133,6 +133,7 @@ let rec fix_id remove_tick name = match name with
   | "S"
   | "mod"
   | "M"
+  | "tt"
     -> name ^ "'"
   | _ ->
      if String.contains name '#' then
-- 
cgit v1.2.3