test-suite/bugs/closed/3975.v


1
2
3
4
5
6
7
8

Module Type S. End S.

Module M (X:S). End M.

Module Type P (X : S).
  Print M.
  (* Used to say: Anomaly: X already exists. Please report. *)
  (* Should rather : print something :-) *)