From a1c7dcf074203536bee03cec0e8751e12be0b0ce Mon Sep 17 00:00:00 2001
From: Rodrigo Raya <rodrigo.raya@epfl.ch>
Date: Tue, 21 Sep 2021 22:10:48 +0000
Subject: [PATCH] Update amy_specification.md

---
 labs/amy_specification.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/labs/amy_specification.md b/labs/amy_specification.md
index 820f05f..2c2c267 100644
--- a/labs/amy_specification.md
+++ b/labs/amy_specification.md
@@ -1,3 +1,3 @@
-===== The Amy Specification =====
+# The Amy Specification 
 
-You can access the Amy specification document [[http://lara.epfl.ch/~gschmid/clp20/amy-spec.pdf|here]].
\ No newline at end of file
+You can access the Amy specification document [here](https://drive.switch.ch/index.php/s/jht9KdKDu9KidB2).
-- 
GitLab