diff options
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/bugs/closed/shouldsucceed/2362.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test-suite/bugs/closed/shouldsucceed/2362.v b/test-suite/bugs/closed/shouldsucceed/2362.v index 897f7c456f..febb9c7bb0 100644 --- a/test-suite/bugs/closed/shouldsucceed/2362.v +++ b/test-suite/bugs/closed/shouldsucceed/2362.v @@ -17,7 +17,6 @@ Notation "( x ,> y )" := (fpair x y) (at level 0). Instance Pointed_FPair B neutral: Pointed (fun A => FPair A B neutral) := { creturn := fun A (a:A) => (a,> neutral) }. - Definition blah_fail (x:bool) : FPair bool nat O := creturn x. Set Printing All. Print blah_fail. |