gh6165.v « closed « bugs « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/bugs/closed/gh6165.v

blob: b87a7caaf266d753c572381eaf632434de292f47 (plain)

(* -*- mode: coq; coq-prog-args: ("-quick") -*- *)

Goal True.
  abstract exact I.
Timeout 1 Defined.