1*999739cfSJacob Faibussowitsch@@ -6 +6 @@ 2*999739cfSJacob Faibussowitsch- PetscValidHeaderSpecific(r,PETSC_RANDOM_CLASSID,2); 3*999739cfSJacob Faibussowitsch+ PetscValidHeaderSpecific(r,PETSC_RANDOM_CLASSID,1); 4