1@@ -10,5 +10,5 @@ 2 typedef struct _p_PetscLinterDummyObj *PetscLinterDummyObj; 3 4-PetscErrorCode ValidPetscObject(PetscObject obj, PetscLinterDummyObj dobj) 5+static PetscErrorCode ValidPetscObject(PetscObject obj, PetscLinterDummyObj dobj) 6 { 7 /* incorrect */ 8@@ -13,5 +13,5 @@ 9 { 10 /* incorrect */ 11- PetscValidHeader(obj, 2); 12+ PetscValidHeader(obj, 1); 13 PetscValidHeader(dobj, 600); 14 15@@ -14,5 +14,5 @@ 16 /* incorrect */ 17 PetscValidHeader(obj, 2); 18- PetscValidHeader(dobj, 600); 19+ PetscValidHeader(dobj, 2); 20 21 /* correct */ 22