Still looking at that library that isn't in the script anymrore

I deleted Tone32 from a simple sketch, but PIO keeps flagging the same errors in the Tone library.

I went to Arduino and used their format- three arguments.
But it won’t stop giving me the same errors it gave- errors it’s flagging in the library.

What’s this? How do we fix it?
That’s Tone32.cpp. It shouldn’t be open.

Did you run a 2clean" after removing the library. On the bottom toolbar, it’s a dustbin/trash can icon. On the command line, it’s pio run --target clean.

Bear in mind that if a source file exists in src, lib, etc, it will be considered part of the project and compiled. If not needed, delete it.