From c65c479c68b76c1c9856d02bf6687544843af808 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 16 Jul 2017 17:46:09 +0200
Subject: Fixing what was presumably a typo in the naming conventions file.

Indeed, "forall x, op x x = x" in not in the list, while this is one
of the two standard meanings of idempotence. So, knowing that x, y,
... and not n are used elsewhere for variables names, and elt for
constants. Moreover, it is probable that before using consistently x,
y and z, I had also used m and n, sometimes. So, a convergent
probability that it is (just) a typo.
---
 dev/doc/naming-conventions.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/doc/naming-conventions.tex')

diff --git a/dev/doc/naming-conventions.tex b/dev/doc/naming-conventions.tex
index 349164948d..337b9226df 100644
--- a/dev/doc/naming-conventions.tex
+++ b/dev/doc/naming-conventions.tex
@@ -267,7 +267,7 @@ If the conclusion is in the other way than listed below, add suffix
 {forall x y:D, op (op' x y) = op' x (op y)}
 
 \itemrule{Idempotency of binary operator {\op} on domain {\D}}{Dop\_idempotent}
-{forall x:D, op x n = x}
+{forall x:D, op x x = x}
 
 \itemrule{Idempotency of unary operator {\op} on domain {\D}}{Dop\_idempotent}
 {forall x:D, op (op x) = op x}
-- 
cgit v1.2.3

