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

(* Check Reset Section *)

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

Reset A.