In order to update a KAREL program where the new version contains updated type definitions, I need to delete the original *.PC program and its corresponding *.VR file. Deleting the *.VR doesn't work, and the variables file remains on the controller which means I can't upload the updated version as it leads to variable mismatch errors. Any ideas?
EDIT:
After restarting a couple of times I've got it working in the sense that I could delete A.VR which was referenced in B.PC/B.VR. Still could not delete B.VR, but since A.VR was now deleted, I could reload A.PC and then B.PC with the updated type.
Still interested if anyone knows what's going on since this feels like I just got lucky with restarting a couple of times