From 87db18e7d1736f168491b49b7b339039260d7ac6 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Mon, 4 May 2020 17:59:39 +0100
Subject: Lem: Add some reserved identifiers

---
 src/pretty_print_lem.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml
index 9e636b59..b18541a3 100644
--- a/src/pretty_print_lem.ml
+++ b/src/pretty_print_lem.ml
@@ -95,9 +95,9 @@ let rec fix_id remove_tick name = match name with
   | "with"
   | "check"
   | "field"
-  | "LT"
-  | "GT"
-  | "EQ"
+  | "LT" | "lt" | "lteq"
+  | "GT" | "gt" | "gteq"
+  | "EQ" | "eq" | "neq"
   | "integer"
     -> name ^ "'"
   | _ ->
-- 
cgit v1.2.3