-
Xavier Leroy authored
Follow-up to 35e2b11d. Put the warning "pragmas are ignored inside functions" inside the Unnamed category, so that it is displayed by default and cannot be disabled.
6bef8690
Follow-up to 35e2b11d. Put the warning "pragmas are ignored inside functions" inside the Unnamed category, so that it is displayed by default and cannot be disabled.