@@ -10 +10 @@
-  PetscValidIntPointer(b, 5);
+  PetscValidScalarPointer(b, 2);
@@ -12,2 +12,2 @@
-  PetscValidScalarPointer(b, 7);
-  PetscValidScalarPointer(b, 3);
+  PetscValidScalarPointer(b, 2);
+  PetscValidScalarPointer(b, 2);
@@ -8 +7,0 @@
-  PetscValidIntPointer(a, 1);
@@ -23,2 +22,0 @@
-  PetscValidIntPointer(a, 1);
-  PetscValidScalarPointer(b, 2);
@@ -27,2 +26,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -39,2 +38,0 @@
-  PetscValidIntPointer(a, 1);
-  PetscValidScalarPointer(b, 2);
@@ -43,2 +42,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -48,2 +47,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -79,2 +78,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -84,2 +83,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -112,2 +111,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);
@@ -116,2 +115,0 @@
-    PetscValidIntPointer(a, 1);
-    PetscValidScalarPointer(b, 2);