tree f1103e927fc4b7a32e277006a1464001df6d428d
parent 3144d92ab8550ada6f0a9ddf40ef4a07d6ef52ab
author David Benjamin <davidben@google.com> 1514928224 -0500
committer CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org> 1515020612 +0000

Remove some outdated preconditions and postconditions.

These date to the old code and have been replaced by the fe and fe_loose
bounds in the header file. Also fix up a comment that the comment
converter didn't manage to convert.

Change-Id: I2e3ea867a8cea2b347d09c304a17e532b2e36545
Reviewed-on: https://boringssl-review.googlesource.com/24525
Commit-Queue: Adam Langley <agl@google.com>
Reviewed-by: Adam Langley <agl@google.com>
CQ-Verified: CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org>