fix test

leanprover-community · Jun 24, 2024 · af65a4a · af65a4a
1 parent af507cf
commit af65a4a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/absurd.lean b/test/absurd.lean
@@ -43,5 +43,5 @@ h : p → False
 ⊢ p
 -/
 #guard_msgs in
-example (h : p → False) : 0 = 3 := by
+example {p : Prop} (h : p → False) : 0 = 3 := by
   absurd h