diff --git a/hmm.json b/hmm.json index 07816ff2d..d4454cf93 100644 --- a/hmm.json +++ b/hmm.json @@ -102,7 +102,7 @@ "name": "polymod", "type": "git", "dir": null, - "ref": "develop", + "ref": "cfead69", "url": "https://github.com/larsiusprime/polymod" }, {