path: root/coq/ex/test-cases/multiple-files-single-dir/d.v

(* this file depends on a.v and b.v *)

Require Import a b.

Definition a := 3.