test-suite/bugs/closed/bug_10060.v


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

Module Type T.
  Parameter b : Set.
End T.

Module M1(N : T).
End M1.

Module M2.
End M2.

Section S.
  Variable a : Set.
  Definition b := a.
  Fail Include M1.
End S.