From 03d492daac9bec6067cca9729d72e3817e3d88ff Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Wed, 21 Jun 2023 15:32:20 +0200
Subject: [PATCH] [deps] Remove unnecessary zarith and piqirun deps in
intermediate representation
---
lib/ir/dune | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/ir/dune b/lib/ir/dune
index 9013c4e..5b92d58 100644
--- a/lib/ir/dune
+++ b/lib/ir/dune
@@ -9,7 +9,7 @@
ppx_deriving.iter
ppx_deriving.fold))
(inline_tests)
- (libraries base ocplib-endian piqirun.pb zarith ocamlgraph stdio))
+ (libraries base ocplib-endian ocamlgraph stdio))
(env
(dev
--
GitLab