ClemsonRSRG/RESOLVEWebIDE-v4 — pull request #30 by yushan87 (2014-11-11 20:03:16+00:00)
Title: VC Line Number Error

When comparing VC line numbers, it should convert it to an int before comparing.