From 900f16228b0df01f02ea6cab9617eca39212dbee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Fri, 29 Sep 2017 18:43:13 +0200 Subject: [PATCH] Distributed_db: properly reexport the error `Missing_data` --- src/node/shell/distributed_db.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/node/shell/distributed_db.ml b/src/node/shell/distributed_db.ml index 5c4fa38bb..f179f8bca 100644 --- a/src/node/shell/distributed_db.ml +++ b/src/node/shell/distributed_db.ml @@ -885,7 +885,7 @@ module Make type value = Table.value type param = Table.param let known t k = Table.known (Kind.proj t) k - type error += Missing_data of key + type error += Missing_data = Table.Missing_data let read t k = Table.read (Kind.proj t) k let read_opt t k = Table.read_opt (Kind.proj t) k let read_exn t k = Table.read_exn (Kind.proj t) k