blob: 327b80b0aad79f304f98b8c7269e1530512ef65b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(* From
- https://coq.inria.fr/bugs/show_bug.cgi?id=5529
- https://coq.inria.fr/bugs/show_bug.cgi?id=5537
*)
Print Nat.t.
Timeout 1 Print Nat.t.
Lemma toto: False.
Set Printing All.
Show.
Abort.
|