From 09b89545a5d349a29929965334963890740c05b7 Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Thu, 31 Jul 2014 11:54:59 +0200
Subject: Remove spurious [1] in equality.ml.

Introduced in a4043608f
---
 tactics/equality.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tactics/equality.ml b/tactics/equality.ml
index e3ea08656a..2c21f98096 100644
--- a/tactics/equality.ml
+++ b/tactics/equality.ml
@@ -1,4 +1,4 @@
-1(************************************************************************)
+(************************************************************************)
 (*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
 (* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012     *)
 (*   \VV/  **************************************************************)
-- 
cgit v1.2.3