diff --git a/hmm.json b/hmm.json index c9dc959c7..a52055d03 100644 --- a/hmm.json +++ b/hmm.json @@ -109,7 +109,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "bb82bfe040965dd55c3b48cb8a3008afdc101ce7", + "ref": "4bcd614103469af79a320898b823d1df8a55c3de", "url": "https://github.com/larsiusprime/polymod" }, {