1*064a246eSJacob Faibussowitsch@@ -18,6 +18,6 @@ 2*064a246eSJacob Faibussowitsch- PetscValidPointer(foo,-1); 3*064a246eSJacob Faibussowitsch- PetscValidPointer(bar,-2); 4*064a246eSJacob Faibussowitsch- PetscValidPointer(baz,-3); 5*064a246eSJacob Faibussowitsch- PetscValidPointer((void *)v->data,-4); 6*064a246eSJacob Faibussowitsch- PetscValidPointer(*blip,-5); 7*064a246eSJacob Faibussowitsch- PetscValidPointer(blop,-6); 8*064a246eSJacob Faibussowitsch+ PetscValidPointer(foo,1); 9*064a246eSJacob Faibussowitsch+ PetscValidPointer(bar,1); 10*064a246eSJacob Faibussowitsch+ PetscValidPointer(baz,1); 11*064a246eSJacob Faibussowitsch+ PetscValidPointer((void *)v->data,1); 12*064a246eSJacob Faibussowitsch+ PetscValidPointer(*blip,1); 13*064a246eSJacob Faibussowitsch+ PetscValidPointer(blop,1); 14