]> git.eshelyaron.com Git - dict.git/commitdiff
Remove unused dependencies library(help) and library(prolog_server)
authorEshel Yaron <me@eshelyaron.com>
Sat, 15 Oct 2022 06:22:04 +0000 (09:22 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sat, 15 Oct 2022 06:22:04 +0000 (09:22 +0300)
sweep.pl

index fd2dc0200ac3c7b6f2eba6e51ca427d5e77fbedb..c697323efbc0ed93a0aa83dcb644e5a7d39e388a 100644 (file)
--- 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).