From 5c3b8e042f93ba5f3467f703b9311efbf3cdbba0 Mon Sep 17 00:00:00 2001 From: TudorMagirescu Date: Tue, 22 Oct 2024 00:58:05 +0200 Subject: [PATCH] Remove unused package. --- Project.toml | 1 - src/HerbSearch.jl | 1 - src/bottom_up_iterators/bottom_up_depth_iterator.jl | 4 ++-- 3 files changed, 2 insertions(+), 4 deletions(-) diff --git a/Project.toml b/Project.toml index 97aa823..f1bde28 100644 --- a/Project.toml +++ b/Project.toml @@ -4,7 +4,6 @@ authors = ["Sebastijan Dumancic ", "Jaap de Jong