Minor
Minor


git-svn-id: 0c0b8479f8d8c15c9ffd836cf320ff54819586ab@4651 cab769db-1af3-0310-8bf3-f2d376eea66d

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