From d431cfbe4f63a7fb62d41b845702d65864506226 Mon Sep 17 00:00:00 2001
From: thomas-lamiaux <thomas.lamiaux@ens-paris-saclay.fr>
Date: Mon, 28 Oct 2024 03:27:17 +0100
Subject: [PATCH] close section

---
 src/Tutorial_Chaining_Tactics.v | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Tutorial_Chaining_Tactics.v b/src/Tutorial_Chaining_Tactics.v
index a4bd7e2..3e617b7 100644
--- a/src/Tutorial_Chaining_Tactics.v
+++ b/src/Tutorial_Chaining_Tactics.v
@@ -41,7 +41,7 @@
 
   (* INTRO TEXT *)
 
-  Section Foo.
+  Section Chaining.
   Context (A B C D E F : Type).
 
   Set Printing Parentheses.
@@ -334,3 +334,4 @@
 (* ** 2. Combining Tactics *)
 
 
+End Chaining.
\ No newline at end of file