diff --git a/tests/infer.v b/tests/infer.v
index 53f4f532f..8f46f6229 100644
--- a/tests/infer.v
+++ b/tests/infer.v
@@ -17,7 +17,7 @@ HB.mixin Record barm (A : Type) (P : foo.type) (B: Type) (T : Type) := {
 HB.structure Definition bar A P B := { T of barm A P B T }.
 
 #[skip="8.1[0-5].*"] HB.check (bar.type_ bool nat bool).
-#[skip="8.1[67].*", fail] HB.check (bar.type_ bool nat bool).
+#[skip="8.1[6-9].*", fail] HB.check (bar.type_ bool nat bool).
 Print bar.phant_type.
 Print bar.type.
 Check bar.type bool nat bool.