Update submodules.

Brian Huffman · Brian Huffman · commit dd1d116eed47 · 2021-04-26T03:40:36.000-07:00
diff --git a/deps/argo b/deps/argo
@@ -1 +1 @@
-Subproject commit 594a040ffdbcdc5fc963e632e857697046e64768
+Subproject commit b9b3edd992e57ca31224530f763f313fcf24bab7
diff --git a/deps/cryptol b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 23c396b1a9951108aeedbd51fa2bc9d5a9369365
+Subproject commit 8ed946ea75646f732e46c6917dd4e95a4d4e964e
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
@@ -1 +1 @@
-Subproject commit 14d3a0b499f0abceb19f40cc7cc9784a59a99b0c
+Subproject commit f0f8979e7a67e46c39cbaf484d6f1432e10e0002
diff --git a/deps/elf-edit b/deps/elf-edit
@@ -1 +1 @@
-Subproject commit 6a089cc6e84a35604168c10193c521fa1359481d
+Subproject commit 4ec1f64c6882799ed0f9cf4ae428dbbe8fb27804
diff --git a/deps/flexdis86 b/deps/flexdis86
@@ -1 +1 @@
-Subproject commit 178bfc199d6fb638cbf90de84a83ea0bf246170f
+Subproject commit 4e6f4950be909b41852b50e5648d243d948fa0c9
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit b2e9cc34a58e5931cf14beca2c5bc28f343cf966
+Subproject commit 6696a684c24c24b8492832e5983aca5a279fdced
diff --git a/deps/saw-core b/deps/saw-core
@@ -1 +1 @@
-Subproject commit e4c59543fc7520d6cfa3d44b0602a3274685b35d
+Subproject commit 12a8f95cc6eeac9d472fe6cc74f87e288ca97887
diff --git a/deps/what4 b/deps/what4
@@ -1 +1 @@
-Subproject commit 367cdd02400fbc491698d2884b3e841c06e193f1
+Subproject commit 2b4273c818947484bc9b3c5f31418f10cc267a27
