fix missing external_body

Signed-off-by: ZichengMa <[email protected]>
anvil-verifier · Oct 16, 2023 · 455923a · 455923a
1 parent 3bc8f05
commit 455923a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/kubernetes_api_objects/volume.rs b/src/kubernetes_api_objects/volume.rs
@@ -367,6 +367,7 @@ impl SecretProjection {
         }
     }
 
+    #[verifier(external_body)]
     pub fn clone(&self) -> (secret_projection: SecretProjection)
         ensures
             secret_projection@ == self@,