Whiley/WhileyDocs — pull request #6 by Matt-- (2014-04-29 04:52:11+00:00)
Title: Fixing an example error

the return needs to drop xs[i] from the list. The change ensures it is skipped.