From d13a1f55f40cee3a5553b789114a54193a819819 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 11 May 2022 09:52:12 +0200
Subject: [PATCH] [kernel] fix lint
---
src/kernel_services/abstract_interp/abstract_interp.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/abstract_interp/abstract_interp.ml b/src/kernel_services/abstract_interp/abstract_interp.ml
index 80cc2545356..64798a80127 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)
--
GitLab