diff --git a/player_monoids b/player_monoids
index ed11a73..08bc018 160000
--- a/player_monoids
+++ b/player_monoids
@@ -1 +1 @@
-Subproject commit ed11a7395bb62bcdce3e314597edc06f4bb8a86e
+Subproject commit 08bc018f92b54732ade8c5e1ff38c404706e411e