diff --git a/theories/proofmode/class_instances.v b/theories/proofmode/class_instances.v
index 44c6d36a685d5bb1db537c915736ff3a230852f7..e2f04a721c8747c73d62ab9a61fb20448365a5f0 100644
--- a/theories/proofmode/class_instances.v
+++ b/theories/proofmode/class_instances.v
@@ -707,5 +707,3 @@ Proof.
   by rewrite -{2}HP -(except_0_idemp P) -except_0_bupd -(except_0_intro P).
 Qed.
 End classes.
-
-Hint Mode IntoLaterN' + - ! - : typeclass_instances.