diff options
Diffstat (limited to 'test-suite/bugs/opened/HoTT_coq_064.v')
| -rw-r--r-- | test-suite/bugs/opened/HoTT_coq_064.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/bugs/opened/HoTT_coq_064.v b/test-suite/bugs/opened/HoTT_coq_064.v index fae954f81..98e815aef 100644 --- a/test-suite/bugs/opened/HoTT_coq_064.v +++ b/test-suite/bugs/opened/HoTT_coq_064.v @@ -180,7 +180,7 @@ Section bar. Variable D : PreCategory. - Context `(has_colimits + Fail Context `(has_colimits : forall F : Functor D C, @IsColimit _ C D F (colimits F)). (* Error: Unsatisfied constraints: Top.3773 <= Set |