From 177d014542cb905a51f955994d1c345985507aa4 Mon Sep 17 00:00:00 2001 From: Wonho Date: Thu, 5 Sep 2024 21:09:50 +0900 Subject: [PATCH] Remove redundant library --- spectec/src/backend-interpreter/dune | 2 +- spectec/src/il2al/dune | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/spectec/src/backend-interpreter/dune b/spectec/src/backend-interpreter/dune index b193141197..715a682aa1 100644 --- a/spectec/src/backend-interpreter/dune +++ b/spectec/src/backend-interpreter/dune @@ -1,6 +1,6 @@ (library (name backend_interpreter) - (libraries reference_interpreter util str el il middlend il2al al) + (libraries reference_interpreter util il al) (modules interpreter numerics diff --git a/spectec/src/il2al/dune b/spectec/src/il2al/dune index fdc155d703..296c058f43 100644 --- a/spectec/src/il2al/dune +++ b/spectec/src/il2al/dune @@ -1,6 +1,6 @@ (library (name il2al) - (libraries middlend util il al) + (libraries util il al) (modules animate unify