View Single Post
I've seen this happen and have found that waiting another minute or two and trying to empty the trash again succeeds. The other thing I've done a couple times is move the file from trash to the desktop and then manually delete it using the rm command from the terminal.