diff --git a/repos/Axioma b/repos/Axioma
index 00c6f6c7..632f4162 160000
--- a/repos/Axioma
+++ b/repos/Axioma
@@ -1 +1 @@
-Subproject commit 00c6f6c7fe9b7bbfe65f2e7557b4da47c80d34d2
+Subproject commit 632f41623d83e36790e0cef3dfda90ea4b308f6b