From 6586abcc185fa4e0f3853a73d91f097fbde16aca Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 13 Jul 2018 10:14:57 +0100
Subject: Coq: avoid a couple of common identifiers

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

(limited to 'src')

diff --git a/src/pretty_print_coq.ml b/src/pretty_print_coq.ml
index 52ecc715..aaef83cb 100644
--- a/src/pretty_print_coq.ml
+++ b/src/pretty_print_coq.ml
@@ -135,6 +135,8 @@ let rec fix_id remove_tick name = match name with
   | "GT"
   | "EQ"
   | "Z"
+  | "O"
+  | "S"
   | "mod"
   | "M"
     -> name ^ "'"
-- 
cgit v1.2.3