diff --git a/hmm.json b/hmm.json index d297a2680..f098a80e9 100644 --- a/hmm.json +++ b/hmm.json @@ -219,7 +219,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "23a27ec2458aff5dae44de5a383236e2bd4b644a", + "ref": "b85ef965d52bb963d8368c46f498562820fc5d81", "url": "https://github.com/larsiusprime/polymod" }, {