search

Whiley / WhileyDocs

Various documents relating to the Whiley Programming Language.
7 stars 2 forks source link

remove `real` from expressions chapter #31

Closed ePaul closed 8 years ago

ePaul commented 8 years ago

Commit 4669549 removed real from the types chapter, but it still was referred in this chapter.

This removes all mentions of real from the Expressions chapter.

I tried to do minimally-invasive changes, feel free to reject this and reword it better.

ePaul commented 8 years ago

The "Getting Started" document (at least the one to be found at http://whiley.org/about/documentation/) also mentions real at several places.

DavePearce commented 8 years ago

Hey, those changes look good to me. Nice spotting!