esp bug 11


esp 3.0.2 can't handle // in .vc filenames. If a .vc contains:

/home/madison/w//bob/bob.v

Then esp will complain with: ERROR[842] File "/home/madison/w" does not exist.