Whiley/WhileyDocs — pull request #8 by Matt-- (2014-04-29 05:01:40+00:00)
Title: Two changes in example text

corrected function decl & removed an empty comment