test-suite/output/bug_10824.v


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

Module A.
Notation F := False.
Notation "!!" := False (at level 100).
Check False.
End A.

Module B.
Notation "!!" := False (at level 100).
Notation F := False.
Notation "!!" := False (at level 100).
Check False.
End B.