Update README.md

Blaisorblade · Mar 9, 2020 · b1f8621 · b1f8621
1 parent 2ff86ed
commit b1f8621
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 # Type Soundness for DOT via logical relations
 
-Mechanization accompanying the paper "Scala Step-by-step: Soundness for
-DOT with Step-Indexed Logical Relations and Iris".
+Mechanization accompanying the paper "Scala Step-by-Step: Soundness for
+DOT with Step-Indexed Logical Relations in Iris".
 
 The mapping between the paper and this mechanization is described in
 [correspondence.md](correspondence.md).