fix CI on old coq-elpi

gares · CohenCyril · commit 34f663a7ede4 · 2021-02-17T18:20:15.000+01:00
diff --git a/tests/infer.v b/tests/infer.v
@@ -6,7 +6,7 @@ HB.mixin Record foom T := {
 
 HB.structure Definition foo := { T of foom T }.
 
-HB.instance Definition _ := foom.Build nat plus.
+HB.instance Definition i := foom.Build nat plus.
 
 HB.mixin Record barm (P : foo.type) (T : indexed Type) := {
   law : P -> T
