From 0a142292a3d2a25d61be2c1098042b256ef94a73 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 27 Apr 2020 15:03:43 +0100
Subject: [PATCH] Update 2020-04-27-ecoop20.md

---
 _posts/2020-04-27-ecoop20.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/_posts/2020-04-27-ecoop20.md b/_posts/2020-04-27-ecoop20.md
index 66fefee..2b8056a 100644
--- a/_posts/2020-04-27-ecoop20.md
+++ b/_posts/2020-04-27-ecoop20.md
@@ -8,8 +8,7 @@ the [34th European Conference on Object-Oriented Programming, ECOOP 2020](https:
 The paper by Gabriela, Jose, Petar and Philippa is entitled [A Trusted Infrastructure 
 for Symbolic Analysis of Event-Driven Web Applications](https://2020.ecoop.org/track/ecoop-2020-papers#event-overview).
 
-It introduces a trusted infrastructure for symbolic analysis of modern event-driven Web applications. 
-The infrastructure consists of reference implementations of the DOM Core Level 1 and UI Events, 
+It introduces a trusted infrastructure for symbolic analysis of modern event-driven Web applications. The infrastructure consists of reference implementations of the DOM Core Level 1 and UI Events, 
 JavaScript Promises, and the JavaScript async/await APIs, all underpinned by a simple 
 Core Event Semantics that is sufficiently expressive to describe the event models 
 underlying all these APIs. The implementations follow the API respective standards 
-- 
GitLab