fix explanation to match the example

Whiley / WhileyDocs

Various documents relating to the Whiley Programming Language.

7 stars 2 forks source link

Closed ePaul closed 8 years ago

ePaul commented 8 years ago

The example was changed in 56274592, but the describing text in the spec still referred to the old example code.

This hopefully fixes that. (I found this while reading the Spec.)

DavePearce commented 8 years ago

Great --- thanks!