diff --git a/extern/coverage-model b/extern/coverage-model
index 1f5d9fc31..719e1f368 160000
--- a/extern/coverage-model
+++ b/extern/coverage-model
@@ -1 +1 @@
-Subproject commit 1f5d9fc31c87b44dcccd791e4b80339da64172b3
+Subproject commit 719e1f368b14855e876020413f9e150f5b777259