path: root/test-suite/failure/Sections.v

Module A.
Section	B.
Fail End A.
(*End A.*)