From 4078547a44619701e9a719876b716877d0368bc4 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Mon, 16 Apr 2018 22:48:39 +0200
Subject: Fix typo in CHANGES.

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index c84aa00fb..502f848fb 100644
--- a/CHANGES
+++ b/CHANGES
@@ -17,7 +17,7 @@ Tactic language
 
 - Support for fix/cofix added in Ltac "match" and "lazymatch".
 
-- Ltac backtraces now contain include trace information about tactics
+- Ltac backtraces now include trace information about tactics
   called by OCaml-defined tactics.
 
 Changes from 8.8+beta1 to 8.8.0
-- 
cgit v1.2.3