xref: /petsc/src/sys/tests/linter/output/testDisabled.patch (revision 9c5460f9064ca60dd71a234a1f6faf93e7a6b0c9) 
1@@ -4,5 +4,5 @@
2 #include <petsc/private/petscimpl.h>
3
4-PetscErrorCode testDisabled(PetscRandom r)
5+static PetscErrorCode testDisabled(PetscRandom r)
6 {
7   /* incorrect */
8@@ -7,5 +7,5 @@
9 {
10   /* incorrect */
11-  PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 2);
12+  PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 1);
13
14   /* correct by being disabled */
15