WyCS: bug fix for wycs script --- thanks to Henry Wylde!
WyCS: bug fix for wycs script --- thanks to Henry Wylde!

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler