diff --git a/hmm.json b/hmm.json index ceaaf498f..0d40db74f 100644 --- a/hmm.json +++ b/hmm.json @@ -190,7 +190,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "51c440e8af4da2032813ed285d485a9aafdccb51", + "ref": "98739ec50ba41e3ae5b91fb14fac28e7b778472d", "url": "https://github.com/larsiusprime/polymod" }, {