Fix test-suite file after moving back to using C as the name

of the record binder for Class C's projections.

1 files changed, 1 insertions, 1 deletions

diff --git a/test-suite/bugs/closed/3482.v b/test-suite/bugs/closed/3482.v
index cf3f9dbefa..34a5e73da7 100644
--- a/test-suite/bugs/closed/3482.v
+++ b/test-suite/bugs/closed/3482.v
@@ -1,6 +1,6 @@
 Set Primitive Projections.
 Class Foo (F : False) := { foo : True }.
-Arguments foo F {f}.
+Arguments foo F {Foo}.
 Print Implicit foo. (* foo : forall F : False, Foo F -> True
 
 Argument Foo is implicit and maximally inserted *)