From 45cf41f046a894165ce9782fbae37c4311c98d57 Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 31 May 2005 15:05:23 +0000
Subject: coqwc: Admitted

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

(limited to 'tools/coqwc.mll')

diff --git a/tools/coqwc.mll b/tools/coqwc.mll
index 577645546..35004f79d 100644
--- a/tools/coqwc.mll
+++ b/tools/coqwc.mll
@@ -99,7 +99,7 @@ let dot = '.' (' ' | '\t' | '\n' | '\r' | eof)
 let proof_start =   
   "Theorem" | "Lemma" | "Fact" | "Remark" | "Goal" | "Correctness"
 let proof_end =
-  ("Save" | "Qed" | "Defined" | "Abort") [^'.']* '.'
+  ("Save" | "Qed" | "Defined" | "Abort" | "Admitted") [^'.']* '.'
 
 (*s [spec] scans the specification. *)
 
-- 
cgit v1.2.3