From af76b11278204c25428c4f95ef51d4aa8f2a1e0e Mon Sep 17 00:00:00 2001 From: filip <“filip.rabiega@gmail.com”> Date: Tue, 22 Apr 2025 17:38:11 +0200 Subject: set up dream --- bin/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/dune') diff --git a/bin/dune b/bin/dune index 5e8e55c..e7f82e3 100644 --- a/bin/dune +++ b/bin/dune @@ -1,4 +1,4 @@ (executable (public_name power_prover) (name main) - (libraries power_prover)) + (libraries power_prover dream)) -- cgit v1.2.3