diff --git a/hmm.json b/hmm.json index 42d17743f..6a8575eb0 100644 --- a/hmm.json +++ b/hmm.json @@ -146,7 +146,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "be712450e5d3ba446008884921bb56873b299a64", + "ref": "682548319a272f6e4c9efa97aca081866426d5c7", "url": "https://github.com/larsiusprime/polymod" }, {