fix test

tests/proofmode.ref

@@ -659,6 +659,10 @@ No applicable tactic.
   "H" : P
   --------------------------------------□
   ∃ _ : nat, True
+"test_iIntros_auto_name_used_later"
+     : string
+The command has indeed failed with message:
+x is already used.
 "elim_mod_accessor"
      : string
 1 goal

tests/proofmode.v

@@ -1486,6 +1486,7 @@ Proof. auto. Qed.
 Lemma test_auto_wand_iff P : ⊢ P ∗-∗ P.
 Proof. auto. Qed.
 
+Check "test_iIntros_auto_name_used_later".
 Lemma test_iIntros_auto_name_used_later (Φ: nat → PROP) :
   ⊢ ∀ x y, Φ (x+y).
 Proof.