From 1798f9cf2eb8cc39405e03d1f73c2b2fc87f4b28 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sat, 15 Oct 2022 09:22:04 +0300 Subject: [PATCH] Remove unused dependencies library(help) and library(prolog_server) --- sweep.pl | 2 -- 1 file changed, 2 deletions(-) diff --git a/sweep.pl b/sweep.pl index fd2dc02..c697323 100644 --- a/sweep.pl +++ b/sweep.pl @@ -74,8 +74,6 @@ :- use_module(library(pldoc/man_index)). :- use_module(library(lynx/html_text)). :- use_module(library(prolog_pack)). -:- use_module(library(help)). -:- use_module(library(prolog_server)). :- meta_predicate with_buffer_stream(-, +, 0). -- 2.39.2