From af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Tue, 9 Dec 2014 12:48:32 +0100
Subject: Switch the few remaining iso-latin-1 files to utf8

---
 tactics/elim.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tactics/elim.ml')

diff --git a/tactics/elim.ml b/tactics/elim.ml
index ba413d410..c83441894 100644
--- a/tactics/elim.ml
+++ b/tactics/elim.ml
@@ -77,10 +77,10 @@ and general_decompose_aux recognizer id =
                (ids_of_named_context bas.Tacticals.assums))))
     id
 
-(* Faudrait ajouter un COMPLETE pour que l'hypothèse créée ne reste
-   pas si aucune élimination n'est possible *)
+(* We should add a COMPLETE to be sure that the created hypothesis
+   doesn't stay if no elimination is possible *)
 
-(* Meilleures stratégies mais perte de compatibilité *)
+(* Best strategies but loss of compatibility *)
 let tmphyp_name = Id.of_string "_TmpHyp"
 let up_to_delta = ref false (* true *)
 
-- 
cgit v1.2.3