From bee144512660fe96d5d9527eb1db091a647bc24e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 19 Jan 2003 21:56:58 +0000
Subject: Erreur sur precedent commit

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

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index ef92ff3bc2..74740abcef 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -335,7 +335,7 @@ let check_capture loc ty = function
       ()
 
 let locate_if_isevar loc na = function
-  | RHole _ -> RHole (loc, AbstractionType na))
+  | RHole _ -> RHole (loc, AbstractionType na)
   | x -> x
 
 (**********************************************************************)
-- 
cgit v1.2.3