From 793a438ec5a89e8985a815fd141f7872ea73e573 Mon Sep 17 00:00:00 2001
From: Amal Ahmed <amal@ccs.neu.edu>
Date: Thu, 5 Jul 2018 11:48:14 +0200
Subject: [PATCH] todo in abstract about logical relation

---
 paper/abstract.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/paper/abstract.tex b/paper/abstract.tex
index 30c1dd6..6b549cc 100644
--- 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
-- 
GitLab