diff --git a/boogie b/boogie
deleted file mode 160000
index 07ae2d8f05..0000000000
--- a/boogie
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 07ae2d8f0584a5a7d0f02a451cbcb564276e0013