From c15adff540f3a788499878b85f647ae2e0aa43a0 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Mon, 25 Jun 2018 07:36:01 +0200
Subject: [PATCH] Partly revert c69c262, as it was a spurious error.

---
 examples/patience.mlw | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/examples/patience.mlw b/examples/patience.mlw
index ba7cfc23b..ba5028add 100644
--- a/examples/patience.mlw
+++ b/examples/patience.mlw
@@ -16,13 +16,13 @@ numbers instead of cards. If the input sequence is 9, 7, 10, 9, 5, 4,
 and 10, then the stacks develop as
 
 {h <pre>}
-&lt;[[9]]&gt;
-&lt;[[7, 9]]&gt;
-&lt;[[7, 9]], [[10]]&gt;
-&lt;[[7, 9]], [[9, 10]]&gt;
-&lt;[[5, 7, 9]], [[9, 10]]&gt;
-&lt;[[4, 5, 7, 9]], [[9, 10]]&gt;
-&lt;[[4, 5, 7, 9]], [[9, 10]], [[10]]&gt;
+<[[9]]>
+<[[7, 9]]>
+<[[7, 9]], [[10]]>
+<[[7, 9]], [[9, 10]]>
+<[[5, 7, 9]], [[9, 10]]>
+<[[4, 5, 7, 9]], [[9, 10]]>
+<[[4, 5, 7, 9]], [[9, 10]], [[10]]>
 {h </pre>}
 
 Verify the claim is that the number of stacks at the end of the game
-- 
GitLab