todo in abstract about logical relation

793a438e · Amal Ahmed · 33d34dff · 793a438e
Commit 793a438e authored 6 years ago by Amal Ahmed
--- a/paper/abstract.tex
+++ b/paper/abstract.tex
@@ -31,3 +31,4 @@ Finally, we define \emph{multiple} contract-based implementations by varying the
 structure of the dynamic types, giving a family of implementations that validate
 type-based optimization and the gradual guarantee.

+% AA: above "logical relation" comes out of the blue
\ No newline at end of file