diff options
Diffstat (limited to 'test-suite/success/Reset.v')
| -rw-r--r-- | test-suite/success/Reset.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/success/Reset.v b/test-suite/success/Reset.v index 27100ed37..b71ea69d7 100644 --- a/test-suite/success/Reset.v +++ b/test-suite/success/Reset.v @@ -1,7 +1,7 @@ (* Check Reset Section *) Section A. -Definition B:=Prop. +Definition B := Prop. End A. Reset A. |