From 35ce449452e062c149f59794aaacf88e751a1972 Mon Sep 17 00:00:00 2001 From: rand00 Date: Mon, 10 Jan 2022 17:48:01 +0100 Subject: [PATCH] dune: Added rresult --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index 07548d8..9513e4f 100644 --- a/src/dune +++ b/src/dune @@ -1,6 +1,6 @@ (library (name opam_graph) (public_name opam-graph) - (libraries opam-core opam-format dot) + (libraries opam-core opam-format dot rresult) (flags (:standard (-w -27-26))) )