diff --git a/workspace/AUTOM5 b/workspace/AUTOM5
deleted file mode 160000
index 9d7a850..0000000
--- a/workspace/AUTOM5
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 9d7a8504c81708b8c4319844930987f56808b727