I am seeing 2 copies of the High Responsive Pro theme in my WordPress admin.
One is up to date, the other says it needs to be updated. 
When I look via file manager, one folder is /highresponsivepro  and one folder is /high-responsive-pro
I created a child theme which is in a folder /highresponsivepro-child, and this is where I am working.
So, I believe that the /high-responsive-pro is somehow an old copy. It will not allow me to update it and I do not get a Delete option. 
Can I just delete the entire folder /high-responsive-pro via file manager?