adding static ref to dune time_defaults_pp

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

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/src-protocol-exts-pp-vg/dune b/src-protocol-exts-pp-vg/dune
@@ -2,5 +2,5 @@
   (name        protocol_exts_pp_vg)
   (public_name protocol_exts_pp_vg)
   (wrapped  false)
-  (libraries yojson core_pp core_time_defaults_pp protocol_exts_vg)
+  (libraries core_time_defaults yojson core_pp core_time_defaults_pp protocol_exts_vg)
 )
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 yojson protocol_exts_pp protocol fix_engine core_utils)
+  (libraries core_time_defaults yojson protocol_exts_pp protocol fix_engine core_utils)
 )
diff --git a/src-simulation/dune b/src-simulation/dune
@@ -9,6 +9,7 @@
         fix_engine
         core_pp
         core_time_defaults
+        core_time_defaults_pp
         protocol_pp
         conversions    
   )