path: root/coq/ex/test-cases/multiple-files-multiple-dir/b/b2.v

(* this file depends on b1 and therefore indirectly on ../a/a.v *)

Definition a := 2.

Require b1.

(*** Local Variables: ***)
(*** coq-load-path: ("../a") ***)
(*** End: ***)