Whiley/WhileyDocs — pull request #4 by Matt-- (2014-04-20 06:35:23+00:00)
Title: Incorrect function declaration

A function signature fixed and a possible cut n paste typo