From c68fa8457b2b2ea20be9c50afa9d5f0f09af143e Mon Sep 17 00:00:00 2001
From: Emmanuel Hainry <emmanuel.hainry@loria.fr>
Date: Wed, 12 Feb 2020 14:52:08 +0100
Subject: [PATCH] Update Readme.md

---
 Readme.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Readme.md b/Readme.md
index 2d2ec2f..c6d96cd 100644
--- a/Readme.md
+++ b/Readme.md
@@ -48,5 +48,7 @@ and it will be downloaded automatically if you compile the program with maven.
 
 Olivier Zeyen, Romain Péchoux, Emmanuel Jeandel, and Emmanuel Hainry
 
+## References
+
 [^HP15]: Emmanuel Hainry and Romain Péchoux. Objects in polynomial time. In APLAS 2015, LNCS, pages 387–404. Springer, 2015.
 [^HP18]: Emmanuel Hainry and Romain Péchoux. A type-based complexity analysis of object oriented programs. Information and Computation, 261:78–115, 2018.
\ No newline at end of file
-- 
GitLab