diff options
| -rw-r--r-- | tools/coqwc.mll | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/coqwc.mll b/tools/coqwc.mll index 50f989e7c2..e6655db153 100644 --- a/tools/coqwc.mll +++ b/tools/coqwc.mll @@ -159,6 +159,8 @@ and proof = parse { proof lexbuf } | '\n' { newline (); proof lexbuf } | "Proof" space* '.' + | "Proof" space+ "with" + | "Proof" space+ "using" { seen_proof := true; proof lexbuf } | "Proof" space { proof_term lexbuf } |