diff --git a/external/gap b/external/gap
index 1ea1cec399..0801d16b43 160000
--- a/external/gap
+++ b/external/gap
@@ -1 +1 @@
-Subproject commit 1ea1cec399bf807e2972cce0c56dc67bdf278c88
+Subproject commit 0801d16b43f36071db138845c517e83475c4e59a