From 56219d80edc91eeab1a8165db87b565165b7e810 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 15 Jun 2016 15:24:22 +0200
Subject: Fix wrong tabulation in CHANGES

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

diff --git a/CHANGES b/CHANGES
index 19a50c53f8..9699b5529e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -32,7 +32,7 @@ Tactics
 Hints
 
 - Revised the syntax of [Hint Cut] to follow standard notation for regexps.
-- Hint Mode now accepts	"!" which means that the mode matches only if the
+- Hint Mode now accepts "!" which means that the mode matches only if the
   argument's head is not an evar (it goes under applications, casts, and
   scrutinees of matches and projections).
 
-- 
cgit v1.2.3