merge

logsem · Feb 15, 2024 · d799f69 · d799f69
2 parents f6bff3d + 6e87e22
commit d799f69
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/theories/ctx_logic/adequacy.v b/theories/ctx_logic/adequacy.v
@@ -241,6 +241,3 @@ Proof.
   eapply (refRcoupl_mass_eq _ _ (λ v v', φ v v')).
   by eapply wp_refRcoupl.
 Qed.
-
-
-