From 2fb93d2f84f7662bab351f22c52201dcf448705e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 18 Dec 2001 16:07:19 +0000
Subject: Oubli d'un quote

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2318 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/field/field.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/field/field.ml4 b/contrib/field/field.ml4
index 5727f1fd7e..10e22b86c8 100644
--- a/contrib/field/field.ml4
+++ b/contrib/field/field.ml4
@@ -122,7 +122,7 @@ let field g =
     <:tactic<
       Match Context With
       | [|- (eq ?1 ?2 ?3)] ->
-        Let t = (eqT ?1 ?2 ?3) In
+        Let t = '(eqT ?1 ?2 ?3) In
         Cut t;[Intro;
           (Match Context With
           | [id:t |- ?] -> Rewrite id;Reflexivity)|Field_Gen FT]
-- 
cgit v1.2.3