Minor bug fix.  It now compiles and runs correctly, at least for hello world.
Minor bug fix.  It now compiles and runs correctly, at least for hello world.

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