diff --git a/hmm.json b/hmm.json index b16576e66..a75dee432 100644 --- a/hmm.json +++ b/hmm.json @@ -146,7 +146,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "6d1bdf79b463ca0baa8471dfc6873ab7701c46ee", + "ref": "5547763a22858a1f10939e082de421d587c862bf", "url": "https://github.com/larsiusprime/polymod" }, {