diff --git a/theories/logrel/term_typing_rules.v b/theories/logrel/term_typing_rules.v
index 5108c700949f292d314499b1a11dea972ed58cfd..75f7ef89b6679d912dd0799ff07479f698a55669 100644
--- a/theories/logrel/term_typing_rules.v
+++ b/theories/logrel/term_typing_rules.v
@@ -500,12 +500,12 @@ Section properties.
         - wp_apply "Hv2". iApply "Hc2".
         - iIntros (w1 w2) "[Hw1 Hw2]".
           iSplitL "Hw1 Hw2".
-          + iExists _, _. iFrame. done. 
+          + iExists _, _. iFrame. done.
           + iApply "Hsplit2". iFrame "HΓ1' HΓ2'".
       Qed.
 
     End with_spawn.
-      
+
     Lemma ltyped_send Γ Γ' (x : string) e A S :
       Γ' !! x = Some (chan (<!!> TY A; S))%lty →
       (Γ ⊨ e : A ⫤ Γ') -∗