From b96e45b1714c12daa1127e8bf14467eea07ebe17 Mon Sep 17 00:00:00 2001
From: barras
Date: Fri, 2 Jan 2004 20:28:44 +0000
Subject: meilleure presentation des commentaires du traducteur

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5168 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.ml | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'ide')

diff --git a/ide/coq.ml b/ide/coq.ml
index f8467f4f20..c6aa114320 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -312,16 +312,16 @@ let word_class s =
 type reset_info = NoReset | Reset of Names.identifier * bool ref
 
 let compute_reset_info = function 
-  | VernacDefinition (_, id, DefineBody _, _) 
-  | VernacBeginSection id 
-  | VernacDefineModule (id, _, _, _) 
-  | VernacDeclareModule (id, _, _, _)
-  | VernacDeclareModuleType (id, _, _)
-  | VernacAssumption (_, (_,(id,_))::_)
-  | VernacInductive (_, (id,_,_,_,_) :: _) ->
+  | VernacDefinition (_, (_,id), DefineBody _, _) 
+  | VernacBeginSection (_,id) 
+  | VernacDefineModule ((_,id), _, _, _) 
+  | VernacDeclareModule ((_,id), _, _, _)
+  | VernacDeclareModuleType ((_,id), _, _)
+  | VernacAssumption (_, (_,((_,id),_))::_)
+  | VernacInductive (_, ((_,id),_,_,_,_) :: _) ->
       Reset (id, ref true)
-  | VernacDefinition (_, id, ProveBody _, _)
-  | VernacStartTheoremProof (_, id, _, _, _) ->
+  | VernacDefinition (_, (_,id), ProveBody _, _)
+  | VernacStartTheoremProof (_, (_,id), _, _, _) ->
       Reset (id, ref false)
   | _ -> NoReset
 
-- 
cgit v1.2.3