Merge pull request #1722 from GaloisInc/rwd/x86-extra-goals

mergify[bot] · web-flow · commit af4e2e5762cd · 2022-08-09T00:20:00.000Z
Update macaw submodule to bring in a fix that prevents
diff --git a/deps/macaw b/deps/macaw
@@ -1 +1 @@
-Subproject commit 2791b1050f348922a27192d8a73ee538fed57629
+Subproject commit d9525554ca3d6414e20a9f7571e38758ea5a3c3f
