diff --git a/third_party/carma b/third_party/carma
deleted file mode 160000
index 5673bc7..0000000
--- a/third_party/carma
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 5673bc713e9515a00fba0c7378375fc075bdc693