diff --git a/docs/chapter7/Agent b/docs/chapter7/Agent
deleted file mode 160000
index 84efd12..0000000
--- a/docs/chapter7/Agent
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 84efd12af5efdb3cc9a7fac06ecfbc51b0919759