diff options
| -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 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. *) |