diff --git a/proof-systems-vendors b/proof-systems-vendors
index 782304f933..1838e82bea 160000
--- a/proof-systems-vendors
+++ b/proof-systems-vendors
@@ -1 +1 @@
-Subproject commit 782304f9337249282065e2fc96ef1d8657e93e52
+Subproject commit 1838e82bea3650e67ba986b756d32440a28508fc