test-suite/bugs/closed/2245.v


1
2
3
4
5
6
7
8
9
10
11

Module Type Test.

Section Sec.
Variables (A:Type).
Context (B:Type).
End Sec.

Fail Check B. (* used to be found !!! *)
Fail Check A.

End Test.