diff --git a/stdpp/sets.v b/stdpp/sets.v
index 811b29606d6dd8fa4304fd6fb972e3d2880636ff..74c1f2352f5bf5bca982fd3709d8a77d4b90b54a 100644
--- a/stdpp/sets.v
+++ b/stdpp/sets.v
@@ -347,7 +347,7 @@ Tactic Notation "set_solver" "-" hyp_list(Hs) "by" tactic3(tac) :=
   clear Hs; set_solver by tac.
 Tactic Notation "set_solver" "+" hyp_list(Hs) "by" tactic3(tac) :=
   clear -Hs; set_solver by tac.
-Tactic Notation "set_solver" := set_solver by idtac.
+Tactic Notation "set_solver" := set_solver by eauto.
 Tactic Notation "set_solver" "-" hyp_list(Hs) := clear Hs; set_solver.
 Tactic Notation "set_solver" "+" hyp_list(Hs) := clear -Hs; set_solver.