Whiley/WhileyDocs — pull request #7 by Matt-- (2014-04-29 04:58:07+00:00)
Title: Pointer example changes

Suggested changes