xref: /petsc/src/sys/tests/linter/output/testDisabled.patch (revision 9c5460f9064ca60dd71a234a1f6faf93e7a6b0c9)
1*08bd1863SJacob Faibussowitsch@@ -4,5 +4,5 @@
2*08bd1863SJacob Faibussowitsch #include <petsc/private/petscimpl.h>
3*08bd1863SJacob Faibussowitsch
4*08bd1863SJacob Faibussowitsch-PetscErrorCode testDisabled(PetscRandom r)
5*08bd1863SJacob Faibussowitsch+static PetscErrorCode testDisabled(PetscRandom r)
6*08bd1863SJacob Faibussowitsch {
7*08bd1863SJacob Faibussowitsch   /* incorrect */
8447bcd8fSJacob Faibussowitsch@@ -7,5 +7,5 @@
9447bcd8fSJacob Faibussowitsch {
10447bcd8fSJacob Faibussowitsch   /* incorrect */
11999739cfSJacob Faibussowitsch-  PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 2);
12999739cfSJacob Faibussowitsch+  PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 1);
13447bcd8fSJacob Faibussowitsch
14447bcd8fSJacob Faibussowitsch   /* correct by being disabled */
15