diff --git a/src/GAP b/src/GAP
index 4a5bb3e59..c1263eded 160000
--- a/src/GAP
+++ b/src/GAP
@@ -1 +1 @@
-Subproject commit 4a5bb3e59c18ad501c2d7f283fc61c34ad306b4f
+Subproject commit c1263eded36f4b7b9da837ec8a161e1fd90d7426