From 67b669d839ac0bf97e3ed77a117d7b3ffbf77b5c Mon Sep 17 00:00:00 2001 From: Ewen Maclean Date: Wed, 17 Oct 2018 16:16:01 +0100 Subject: [PATCH] adding correct dependencies on time_defaults --- src-protocol-pp/dune | 2 +- src-protocol/dune | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src-protocol-pp/dune b/src-protocol-pp/dune index c1cf0eea..ba1fa5a3 100644 --- a/src-protocol-pp/dune +++ b/src-protocol-pp/dune @@ -2,5 +2,5 @@ (name protocol_pp) (public_name protocol_pp) (wrapped false) - (libraries core_time_defaults yojson protocol_exts_pp protocol fix_engine core_utils) + (libraries core_time_defaults_pp yojson protocol_exts_pp protocol fix_engine core_utils) ) diff --git a/src-protocol/dune b/src-protocol/dune index 4c9c6559..83114039 100644 --- a/src-protocol/dune +++ b/src-protocol/dune @@ -2,5 +2,5 @@ (name protocol) (public_name protocol) (wrapped false) - (libraries protocol_exts) + (libraries core_time_defaults protocol_exts) )