From a77c0883c47ad3920be6d30d4605bd1c9bd8b251 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Wed, 22 Sep 2021 15:11:46 +0200
Subject: [PATCH] [Kernel] Export State_builder.Ref.Datatype.t constraint
---
src/libraries/project/state_builder.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/libraries/project/state_builder.mli b/src/libraries/project/state_builder.mli
index bd94ad5e2bf..f242dde7e2b 100644
--- a/src/libraries/project/state_builder.mli
+++ b/src/libraries/project/state_builder.mli
@@ -119,7 +119,7 @@ module Ref
include Info
val default: unit -> Data.t
end)
- : Ref with type data = Data.t
+ : Ref with type data = Data.t and type Datatype.t = Data.t ref
(** Output signature of [Option_ref]. Note that [get] will raise [Not_found]
if the stored data is [None]. Use [get_option] if you want to have
--
GitLab