path: root/test-suite/success/Reset.v

(* Check Reset Section *)

Section A.
Definition B := Prop.
End A.

Reset A.