Fix typo.

0581fe45 · Robbert Krebbers · 4526e514 · 0581fe45
Commit 0581fe45 authored Feb 02, 2018 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

theories/tests/proofmode.v theories/tests/proofmode.v +1 -1

No files found.
--- a/theories/tests/proofmode.v
+++ b/theories/tests/proofmode.v
@@ -142,7 +142,7 @@ Proof.
  iSpecialize ("H" $! _ [#10]). done.
 Qed.

-Lemma test_eauto_iFramE P Q R `{!Persistent R} :
+Lemma test_eauto_iFrame P Q R `{!Persistent R} :
  P -∗ Q -∗ R -∗ R ∗ Q ∗ P ∗ R ∨ False.
 Proof. eauto 10 with iFrame. Qed.