path: root/test-suite/bugs/closed/335.v

(* Compatibility of Require with backtracking at interactive module end *)

Module A.
Require List.
End A.