test-suite/coqwc/theorem.v


1
2
3
4
5
6
7
8
9
10

Theorem foo : True.
Proof.
  idtac. (* comment *)
  idtac.
  idtac.
  idtac. (* comment *)
  idtac.
  idtac.
  auto.
Qed.