Searched refs:ONLY_ISO_COMMENTS (Results 1 – 2 of 2) sorted by relevance
336 ONLY_ISO_COMMENTS enumerator421 if(options[ONLY_ISO_COMMENTS].doesOccur) { in main()
354 ONLY_ISO_COMMENTS enumerator441 if(options[ONLY_ISO_COMMENTS].doesOccur) { in main()