aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/ex/test-cases/multiple-files-single-dir/c.v
blob: b90ef9a0a8f6f53a975bcf05c084dc480440be65 (plain)
1
2
3
(* this file depends on nothing *)

Definition a := 2.