xref: /petsc/src/sys/tests/linter/output/testDisabled.patch (revision 447bcd8fae0acafb34f76e22d0a980ee3af1ea6c) 
1*447bcd8fSJacob Faibussowitsch@@ -7,5 +7,5 @@
2*447bcd8fSJacob Faibussowitsch {
3*447bcd8fSJacob Faibussowitsch   /* incorrect */
4999739cfSJacob Faibussowitsch-  PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 2);
5999739cfSJacob Faibussowitsch+  PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 1);
6*447bcd8fSJacob Faibussowitsch
7*447bcd8fSJacob Faibussowitsch   /* correct by being disabled */
8