diff options
Diffstat (limited to 'test-suite/bugs/closed/3667.v')
| -rw-r--r-- | test-suite/bugs/closed/3667.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test-suite/bugs/closed/3667.v b/test-suite/bugs/closed/3667.v index e0d0e44863..d2fc4d9bf9 100644 --- a/test-suite/bugs/closed/3667.v +++ b/test-suite/bugs/closed/3667.v @@ -18,8 +18,8 @@ Definition set_cat : PreCategory. (fun x y => x -> y))). Defined. Goal forall (A : PreCategory) (F : Functor A set_cat) - (a : A) (x : F a), x = x. + (a : A) (x : F a) (nt :NaturalTransformation F F), x = x. intros. - pose (fun c d m => ap10 (commutes x c d m)). + pose (fun c d m => ap10 (commutes nt c d m)). |