1
(* Check that non logical object loading is done after registration of
2
the logical objects in the environment
5
(* Bug #1118 (simplified version), submitted by Evelyne Contejean
6
(used to failed in pre-V8.1 trunk because of a call to lookup_mind
10
Module Type S. Record t : Set := { a : nat; b : nat }. End S.
11
Module Make (X:S). Module Y:=X. End Make.