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