if (xxx) { /* greetings */ }
if (xxx) { /* greetings */ } if (xxx) { /* greetings */ } Happens only in a few places in PETSc where people have commented out code inside the {} instead of real code, I suppose I can delete that dead code to resolve the problem?