aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/ex/test-cases/add-load-path-unsupported/a/a.v
blob: 984ad08251898ee510a86e86dc51fc44a8d01f93 (plain)
1
2
3
(* This file depends on nothing. *)

Definition a := 0.