Changes between Initial Version and Version 1 of Ticket #3427, comment 3


Ignore:
Timestamp:
2015-08-28T14:43:43Z (9 years ago)
Author:
Marcus Walther

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #3427, comment 3

    initial v1  
    1 I agree, it's strange to supress the warning, but because I'm not using OMEdit, I would give the decision about this to you. Reverting the change is really easy, I will do this on monday.
     1I agree, it's strange to supress the warning, but because I'm not using OMEdit I would give the decision about this to you. Reverting the change is really easy, I will do this on monday.
    22But I think we should keep the ignore-list for some arguments. For example emit_protected is always enabled in the c++ runtime, so there must not be a warning if the flag is set.