diff --git a/theories/pretty.v b/theories/pretty.v
index c1d6b1c6c681da04a6c0820bb80c3d410bf7a2b4..e1a28d941d372b6c0a87453396aa31f4ad6e4de8 100644
--- a/theories/pretty.v
+++ b/theories/pretty.v
@@ -4,6 +4,7 @@ From Coq Require Import Ascii.
 From stdpp Require Import options.
 
 Class Pretty A := pretty : A → string.
+Hint Mode Pretty ! : typeclass_instances.
 
 Definition pretty_N_char (x : N) : ascii :=
   match x with