From af2be254549dcbb83836c8b43c799c3f990ea995 Mon Sep 17 00:00:00 2001 From: Sylvain Bellemare Date: Wed, 7 Oct 2020 20:52:06 +0100 Subject: [PATCH] Update link for the `//` operator The previous link leads to the top of the guide whereas the updated link leads to Section *15.3 Operators* where one can quickly find the row in the table that presents the `//` operator. --- pills/08-generic-builders.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pills/08-generic-builders.xml b/pills/08-generic-builders.xml index ee8d9d6..8059162 100644 --- a/pills/08-generic-builders.xml +++ b/pills/08-generic-builders.xml @@ -214,7 +214,7 @@ The - // operator + // operator is an operator between two sets. The result is the union of the two sets. In case of conflicts between attribute names, the value on the right set is preferred.