b.v « b « add-load-path-unsupported « test-cases « ex « coq - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/coq/ex/test-cases/add-load-path-unsupported/b/b.v

blob: 226b71ee78cfa8087a3d7def551fdd7cd2c1ab91 (plain)

(* This file depends on ../a/a.v *)

Add LoadPath "../a".

Require a.

Print a.a.