acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
49 stars 8 forks source link

Removing LaTeX \margingpar about abrupt termination and `loop assigns`. #54

Closed pbaudin closed 5 years ago

pbaudin commented 5 years ago

Related to #52

@davidcok , It seems that you introduced that margin note in f83c99bca5bb2. The first commit of this pull request solves the form by removing it,

The note was: This behavior of assigns clauses for abrupt exits from statements is different than the corresponding behavior for loops. Should it be?

Perhaps we can follow the discussion about that question here ?