commit 693ce816797c57081b72f1f933f99942276e0224
author Maxime Guerreiro <maximeg@google.com> Wed Jun 13 12:30:13 2018 +0000
committer Maxime Guerreiro <maximeg@google.com> Wed Jun 13 12:30:13 2018 +0000
tree b318c9a5f372dab8bf58e98d31ad961461325f54
parent eaa1783b24f0cc419fab02342eddbe20a150f7d9

Fix Prolog's example 10 in documentation

This example incorrectly references the examples 7 and 8 instead of 8
and 9.

Change-Id: Ifba3ecd7c252ceae268907cfed357d015c6db510

Documentation/prolog-cookbook.txt

diff --git a/Documentation/prolog-cookbook.txt b/Documentation/prolog-cookbook.txt
index 4e3c428..19ed98a 100644
--- a/Documentation/prolog-cookbook.txt
+++ b/Documentation/prolog-cookbook.txt
@@ -796,7 +796,7 @@
 
 === Example 10: Combine examples 8 and 9
 In this example we want to both remove the verified and have the four eyes
-principle.  This means we want a combination of examples 7 and 8.
+principle.  This means we want a combination of examples 8 and 9.
 
 `rules.pl`
 [source,prolog]