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