Add a comment to #uniq1: for consistency

shingarov · Dec 5, 2023 · 20e3fc6 · 20e3fc6
1 parent 56d71b0
commit 20e3fc6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Refinements/CstrAnd.class.st b/src/Refinements/CstrAnd.class.st
@@ -119,5 +119,7 @@ CstrAnd >> sol1: k [
 
 { #category : #logic }
 CstrAnd >> uniq1: α [
+	"Make sure each binder has a unique name.
+	 cf. Horn/Transformations.hs"
 	^CstrAnd of: (conjuncts collect: [ :c | c uniq1: α ])
 ]