From a0b4ccc2f63785b40969d97fa2901019e85f7d77 Mon Sep 17 00:00:00 2001
From: Dan Frumin
Date: Fri, 30 Aug 2019 17:17:58 +0200
Subject: [PATCH] fix typo
---
docs/paradoxes.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/paradoxes.tex b/docs/paradoxes.tex
index 6e005eac..4a77596f 100644
--- a/docs/paradoxes.tex
+++ b/docs/paradoxes.tex
@@ -79,7 +79,7 @@ With this lemma in hand, the proof of \thmref{thm:counterexample-1} is simple.
\label{app:section:invariants-without-a-later}
Now we come to the main paradox: if we remove the $\later$ from \ruleref{inv-open}, the logic becomes inconsistent.
-The theorem is stated as general as possible so taht it also applies to previous, less powerful versions of Iris.
+The theorem is stated as general as possible so that it also applies to previous, less powerful versions of Iris.
\begin{thm}
\label{thm:counterexample-2}
--
2.24.1