#12 #pragma's

closed-fixed
nobody
5
2005-12-06
2004-04-28
Maarten Brock
No

Hello all,

In section 3.2.7 the pragma noinvariant is mentioned but
in section 3.18 it is missing. Furthermore I found out
that there also is a pragma stackauto, which is not
mentioned in the documentation anywhere at all.

Greetings
Maarten

Discussion

  • Maarten Brock
    Maarten Brock
    2005-12-06

    • status: open --> closed-fixed