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

about summary refs log tree commit diff

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

blob: 9816954d0c866cbea75e3f314948f1e1e0ef1676 (plain)

1
2
3

(* Was failing in master with a not_found generated by the printer *)

Fail Definition foo := fun '(u, v) p2 => (u, v).