Skip to content

Commit

Permalink
account for the added caveat line in the example error message dissec…
Browse files Browse the repository at this point in the history
…tion

Thanks to Paolo G. Giarrusso for spotting this and proposing a fix
  • Loading branch information
rfindler committed Oct 3, 2015
1 parent 2c7663e commit 2516374
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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]}]

0 comments on commit 2516374

Please sign in to comment.