diff --git a/src/kernel_services/abstract_interp/abstract_interp.ml b/src/kernel_services/abstract_interp/abstract_interp.ml
index 80cc254535621d943c7102c997d0ef64ca0938c1..64798a80127fd5ffecae59774b474a6e3f3a4cf8 100644
--- a/src/kernel_services/abstract_interp/abstract_interp.ml
+++ b/src/kernel_services/abstract_interp/abstract_interp.ml
@@ -671,7 +671,7 @@ struct
                let hash = hash
                let rehash = Datatype.identity
                let copy = Datatype.undefined
-                     let pretty = pretty
+               let pretty = pretty
                let mem_project = Datatype.never_any_project
              end) :
              Datatype.S with type t := t)