@@ -5 +5 @@ - PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 2); + PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 1);