update submodules

bobzhang · bobzhang · commit b413824082eb · 2021-06-20T11:22:22.000+08:00
diff --git a/ocaml b/ocaml
@@ -1 +1 @@
-Subproject commit 24bd8f7f4ee641ea78c536ef557e25396cb4d537
+Subproject commit 4c8ecff2c4e289c52e536f46ae1a89693a50f948
diff --git a/syntax b/syntax
@@ -1 +1 @@
-Subproject commit d1a2731e37761a309b17b56836d7f72af3c5937b
+Subproject commit bc57a1c328c8c5ac76362482dcc4ac07a0eea37e
