Update polymod to fix a crash on missing imports

2025-03-25 03:19:24 +00:00 · 2024-09-12 17:13:40 -04:00 · 2024-09-12 17:13:40 -04:00 · a4bdeeaf5f
parent 89f4703977
commit a4bdeeaf5f
1 changed files with 1 additions and 1 deletions
--- a/hmm.json
+++ b/hmm.json
@ -194,7 +194,7 @@
      "name": "polymod",
      "type": "git",
      "dir": null,
-      "ref": "96cfc5fa693b017e47f7cb13b765cc68698fa6b6",
+      "ref": "0fbdf27fe124549730accd540cec8a183f8652c0",
      "url": "https://github.com/larsiusprime/polymod"
    },
    {