@@ -9 +9 @@
-  PetscValidIntPointer(b, 5);
+  PetscValidScalarPointer(b, 2);
@@ -11,2 +11,2 @@
-  PetscValidScalarPointer(b, 7);
-  PetscValidScalarPointer(b, 3);
+  PetscValidScalarPointer(b, 2);
+  PetscValidScalarPointer(b, 2);
@@ -7 +6,0 @@
-  PetscValidIntPointer(a, 1);
@@ -21,2 +20,0 @@
-  PetscValidIntPointer(a, 1);
-  PetscValidScalarPointer(b, 2);
@@ -25,2 +24,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -36,2 +35,0 @@
-  PetscValidIntPointer(a, 1);
-  PetscValidScalarPointer(b, 2);
@@ -40,2 +39,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -45,2 +44,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -74,2 +73,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -79,2 +78,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -105,2 +104,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -109,2 +108,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);