adding correct dependencies on time_defaults

imandra-ai · Oct 17, 2018 · 67b669d · 67b669d
1 parent 1766466
commit 67b669d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -2,5 +2,5 @@
   (name        protocol)
   (public_name protocol)
   (wrapped  false)
-  (libraries protocol_exts)
+  (libraries core_time_defaults protocol_exts)
 )