From f890c6ee445a8409f5c38d7a5983c66d292e8c84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Tue, 18 Jul 2023 21:47:13 +0200
Subject: [PATCH] wip

---
 renaming.lp | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/renaming.lp b/renaming.lp
index 641ca03..7a68b42 100644
--- a/renaming.lp
+++ b/renaming.lp
@@ -33,7 +33,8 @@ builtin "lt_c" ≔ <_c;
 builtin "lt_c_def" ≔ <_c_def;
 builtin "le_c" ≔ <=_c;
 builtin "le_c_def" ≔ <=_c_def;
-builtin "eqeq" ≔ ==;
-builtin "eqeq_def" ≔ ==_def;
+builtin "eq2" ≔ ==;
+builtin "eq2_def" ≔ ==_def;
 builtin "ltle" ≔ <<=;
-builtin "ltlt" ≔ "<<";
+builtin "lt2" ≔ "<<";
+builtin "lt3" ≔ "<<<";