diff --git a/third_party/elemental-forms b/third_party/elemental-forms
index 879a034dd..3b5df11e0 160000
--- a/third_party/elemental-forms
+++ b/third_party/elemental-forms
@@ -1 +1 @@
-Subproject commit 879a034ddf323744654bb810da5fe8e15143f6ea
+Subproject commit 3b5df11e07ed160410f39d105eca88d773b7b385