diff --git a/checkers/ind-models.yaml b/checkers/ind-models.yaml
index 15a3bbe..8caf759 100644
--- a/checkers/ind-models.yaml
+++ b/checkers/ind-models.yaml
@@ -15,6 +15,6 @@ description: |
   implementation bugs in the kernel's handling of inductives.
 url: https://github.com/nomeata/lean-inductive-models
 ref: main
-rev: a077a63b9b536c555009015ffe91499063a23e6b
+rev: b3df02dfc8a101769b1175e95f33a635bc7e587e
 build: lake build lean-inductive-models
 run: .lake/build/bin/lean-inductive-models --quiet --type-check-input --no-output "$IN"