From 55be260b9abb8e2b3382f7b44b35e46b241a1d57 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 12 Sep 2018 22:08:23 +0200
Subject: Fix mli-doc following #7109.

---
 kernel/constr.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/constr.mli b/kernel/constr.mli
index 57784581ee..9cc044316b 100644
--- a/kernel/constr.mli
+++ b/kernel/constr.mli
@@ -382,7 +382,7 @@ type named_context = named_declaration list
 type compacted_context = compacted_declaration list
 
 (** {6 Functionals working on expressions canonically abstracted over
-       a local context (possibly with let-ins) *)
+       a local context (possibly with let-ins)} *)
 
 (** [map_under_context f l c] maps [f] on the immediate subterms of a
     term abstracted over a context of length [n] (local definitions
-- 
cgit v1.2.3