#4 False SMV error on Eclipse startup

[Nicholas Fette]

On starting up Eclipse, occasionally there is an item in the "problems" panel indicating an error in one of my SMV files, usually something like "Expecting ')' or EOF". I delete the line corresponding to the problem, and paste it back where it was, and the problem goes away. Just a curious behavior.