diff --git a/hmm.json b/hmm.json index 495dfc96e..babaae3fb 100644 --- a/hmm.json +++ b/hmm.json @@ -219,7 +219,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "fc04eda64bbfcf611a393bd51a6b2c17aeda8496", + "ref": "3e030c81de99ca84acde681431f806d8103bcf6e", "url": "https://github.com/larsiusprime/polymod" }, {