diff options
| author | Raphaël Monat | 2017-10-03 16:20:46 +0200 |
|---|---|---|
| committer | Raphaël Monat | 2017-10-03 16:20:46 +0200 |
| commit | e664022ba1314d866e4e148d5f5f925654db0487 (patch) | |
| tree | 0cb2ce6b8d3b4f735d4b2f15f2fd775bfdcd1e61 /tools | |
| parent | dfa56fb57b09296cdf311ec5972d2d33b787e48c (diff) | |
| parent | 2b9a34e2ffb2bf066b3b0f8452e35622519cae1c (diff) | |
Merge branch 'master' of https://github.com/coq/coq
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coqwc.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coqwc.mll b/tools/coqwc.mll index a0b6bfbbed..6ddeeb9b28 100644 --- a/tools/coqwc.mll +++ b/tools/coqwc.mll @@ -94,7 +94,7 @@ let rcs = "\036" rcs_keyword [^ '$']* "\036" let stars = "(*" '*'* "*)" let dot = '.' (' ' | '\t' | '\n' | '\r' | eof) let proof_start = - "Theorem" | "Lemma" | "Fact" | "Remark" | "Goal" | "Correctness" | "Obligation" | "Next" + "Theorem" | "Lemma" | "Fact" | "Remark" | "Goal" | "Correctness" | "Obligation" space+ (['0' - '9'])+ | "Next" space+ "Obligation" let def_start = "Definition" | "Fixpoint" | "Instance" let proof_end = |