Fix test

leanprover · Jul 2, 2024 · e763472 · e763472
1 parent edba8bc
commit e763472
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/lean/run/constructor_as_variable.lean b/tests/lean/run/constructor_as_variable.lean
@@ -97,7 +97,7 @@ Suggestions:
   'Array.Mem.mk',
   'Array.mk',
   'BEq.mk',
-   (or 201 others)
+   (or 202 others)
 -/
 #guard_msgs in
 def ctorSuggestion1 (pair : α × β) : β :=