fix

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Oct 4, 2024 · 41fcfb4 · 41fcfb4
1 parent a3bb134
commit 41fcfb4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/kubernetes_api_objects/exec/persistent_volume_claim.rs b/src/kubernetes_api_objects/exec/persistent_volume_claim.rs
@@ -32,8 +32,6 @@ impl View for PersistentVolumeClaim {
 }
 
 impl PersistentVolumeClaim {
-    pub spec fn view(&self) -> PersistentVolumeClaimView;
-
     #[verifier(external_body)]
     pub fn eq(&self, other: &Self) -> (b: bool)
         ensures b == (self.view() == other.view())