diff --git a/theories/bi/plainly.v b/theories/bi/plainly.v
index 95a1dd5c826dc82aa14829ce3bd031801fcfb71c..756dba593fd955d1b4067b4da66f758d15af765c 100644
--- a/theories/bi/plainly.v
+++ b/theories/bi/plainly.v
@@ -648,4 +648,5 @@ Hint Immediate plain_persistent : typeclass_instances.
 [class_apply @impl_persistent] shelves the [BiPlainly] premise, making proof
 search for the other premises fail. See the proof of [coreP_persistent] for an
 example where it would fail with a regular [Instance].*)
-Hint Extern 4 (Persistent _) => notypeclasses refine (impl_persistent _ _ _ _ _) : typeclass_instances.
+Hint Extern 4 (Persistent _) =>
+  notypeclasses refine (impl_persistent _ _ _ _ _) : typeclass_instances.