bug_11783.v « closed « bugs « test-suite - coq - The formal proof system

about summary refs log tree commit diff

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

blob: a07391add5789225848b5e4d9ba050bfe2b15ba0 (plain)

Section S.
  Variable A : Type.
  Require Hurkens.
  Definition foo := Hurkens.Generic.paradox A.
End S.