Question regarding a filename in HEAD vs branch

[Norman Crisp]

Afternoon all,

A file was created in the main trunk called foo.GIF.  A branch was then
created call B4.  A designer noticed that the naming convention was
incorrect and the file should have been created as foo.gif.  So, the
designer physically deleted the file foo.GIF from CVS and created foo.gif.
In the main trunk all looks fine but when a checkout is done in the branch
we are still getting foo.GIF.

Does anyone know why or how I can correct this problem in the branch?

Thanks
Norm.