Remove

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Aug 5, 2024 · e3b0a55 · e3b0a55
1 parent 9e1ee3c
commit e3b0a55
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/soundness/compositionality/proof.rs b/src/soundness/compositionality/proof.rs
@@ -122,7 +122,6 @@ proof fn a_property_holds_globally<S, I>(spec: TempPred<S>)
         }
     }
 
-    b_property_holds_globally::<S, I>(spec);
     b_inv_holds_locally::<S, I>(spec);
     a_property_holds_locally::<S, I>(spec);
 }