From c4262d1bea90e34adf429b891b2f8be259851949 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 1 Apr 2021 14:36:50 +0200 Subject: Update doc/sphinx/changes.rst Co-authored-by: Théo Zimmermann --- doc/sphinx/changes.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 74aa6e21ce..bf8174f246 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -741,7 +741,7 @@ Kernel by Pierre-Marie Pédrot). Tactic language -^^^^^^^ +^^^^^^^^^^^^^^^^ - **Fixed:** Ltac2 ``Array.init`` no longer incurs exponential overhead when used -- cgit v1.2.3