Re-add ouroboros-consensus-cardano-tools to the project

ouroboros-consensus-cardano-tools provides db-analyser db-synthesizer which are part of the flake.
IntersectMBO · Mar 10, 2023 · 889697c · 889697c
1 parent 7af523f
commit 889697c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cabal.project b/cabal.project
@@ -37,6 +37,9 @@ packages:
     trace-resources
     trace-forward
 
+extra-packages:
+  ouroboros-consensus-cardano-tools
+
 package cardano-api
   ghc-options: -Werror