[sv-ac] Re: [sv-bc] SV-BC BNF issues review

A LRM typo that Dan Jacobi points out in his BNF issues review
is not directly about BNF, so I would like to highlight that
typo separately to the editor --

In the example at the bottom of page 224 (17.3)

      base_rule1:
          assert property (cont_prop(rst,in1,in2))
                      pass_stat
                      else fail_stat;

there is either a missing semicolon in the statement 'pass_stat;'
or both pass_stat and fail_stat should be in italics instead of Courier
and there is an extra semicolon after 'fail_stat'.

-- Brad
Received on Tue Jan 25 14:32:11 2005