diff options
Diffstat (limited to 'test-suite/success/Inversion.v')
| -rw-r--r-- | test-suite/success/Inversion.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test-suite/success/Inversion.v b/test-suite/success/Inversion.v index 96ac86830b..c28e04eb71 100644 --- a/test-suite/success/Inversion.v +++ b/test-suite/success/Inversion.v @@ -13,3 +13,4 @@ Definition Psi00 : (nat -> Prop) := [n:nat] False. Definition Psi0 : (T O) := Psi00. Lemma Inversion_RO : (l:nat)(R O Psi0 l) -> (Psi00 l). Inversion 1. +Abort. |