account for the added caveat line in the example error message dissection

Thanks to Paolo G. Giarrusso for spotting this and proposing a fix
This commit is contained in:
Robby Findler 2015-10-03 09:43:01 -05:00
parent 2c7663eb5e
commit 2516374744

View File

@ -446,5 +446,5 @@ In general, each contract error message consists of six sections:
@item{a description of the precise aspect of the contract that was violated, @lines[1 2]}
@item{the complete contract plus a path into it showing which aspect was violated, @lines[3 2]}
@item{the module where the contract was put (or, more generally, the boundary that the contract mediates), @lines[5 1]}
@item{who was blamed, @lines[6 1]}
@item{and the source location where the contract appears. @lines[7 1]}]
@item{who was blamed, @lines[6 2]}
@item{and the source location where the contract appears. @lines[8 1]}]