From 5e41cfbc0cdd7e8f20c61302c4231fcef87bf62d Mon Sep 17 00:00:00 2001
From: Claudio Maggioni <maggicl@usi.ch>
Date: Tue, 20 Dec 2022 17:02:54 +0100
Subject: [PATCH] Update readme for report

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 80b27e1..ee921a6 100644
--- a/README.md
+++ b/README.md
@@ -7,4 +7,8 @@ revision `770e72d2f78361b14f3fe27caea41e5977d3c638`
 
 ```
 mvn clean test
-```
\ No newline at end of file
+```
+
+## Report
+
+The report is on the `annotated` branch.