1*447bcd8fSJacob Faibussowitsch@@ -13,5 +13,5 @@ 2*447bcd8fSJacob Faibussowitsch { 3*447bcd8fSJacob Faibussowitsch /* incorrect */ 4*447bcd8fSJacob Faibussowitsch- PetscValidHeader(obj, 2); 5*447bcd8fSJacob Faibussowitsch+ PetscValidHeader(obj, 1); 6*447bcd8fSJacob Faibussowitsch PetscValidHeader(dobj, 600); 7*447bcd8fSJacob Faibussowitsch 8*447bcd8fSJacob Faibussowitsch@@ -14,5 +14,5 @@ 9*447bcd8fSJacob Faibussowitsch /* incorrect */ 10*447bcd8fSJacob Faibussowitsch PetscValidHeader(obj, 2); 11*447bcd8fSJacob Faibussowitsch- PetscValidHeader(dobj, 600); 12*447bcd8fSJacob Faibussowitsch+ PetscValidHeader(dobj, 2); 13*447bcd8fSJacob Faibussowitsch 14*447bcd8fSJacob Faibussowitsch /* correct */ 15