test-suite/bugs/closed/bug_12649.v


1
2
3
4
5
6
7
8
9
10
11

Module Type A.

  Record baz : Prop := B { }. (* any sort would do *)

End A.

Print A.
Module Type UseA (c: A). End UseA.
Print UseA. (* ANOMALY! Int.Map.get's assert false *)