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