diff --git a/org.alloytools.satsolver.provider/extern/minisat/minisat b/org.alloytools.satsolver.provider/extern/minisat/minisat
deleted file mode 160000
index 3db58943b..000000000
--- a/org.alloytools.satsolver.provider/extern/minisat/minisat
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 3db58943b6ffe855d3b8c9a959300d9a148ab554