aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/Sections.v
blob: 928e214f47f51771b7db37221354e8a9aef003ec (plain)
1
2
3
4
Module A.
Section	B.
Fail End A.
(*End A.*)