Revert uneeded changes

MinaProtocol · Dec 20, 2023 · da70971 · da70971
1 parent 21ce836
commit da70971
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 7 deletions.
diff --git a/src/app/cli/src/cli_entrypoint/dune b/src/app/cli/src/cli_entrypoint/dune
@@ -63,7 +63,6 @@
    blockchain_snark
    snarky.backendless
    o1trace
-   mina_numbers
  )
  (preprocessor_deps ../../../../config.mlh)
  (instrumentation (backend bisect_ppx))

diff --git a/src/config/integration_tests_slot_tx_end.mlh b/src/config/integration_tests_slot_tx_end.mlh
diff --git a/src/lib/mina_intf/dune b/src/lib/mina_intf/dune
@@ -25,7 +25,6 @@
    block_time
    verifier
    rose_tree
-   mina_numbers
    )
  (instrumentation (backend bisect_ppx))
  (preprocess (pps ppx_jane ppx_version ppx_deriving.std ppx_deriving_yojson)))