import member/2 from library(lists)

This is needed when processing redirects.
2020-06-20 19:07:43 +02:00
parent d66ea07ba4
commit b3c9fb2fea
1 changed files with 1 additions and 0 deletions
--- a/src/lib/http/http_open.pl
+++ b/src/lib/http/http_open.pl
@@ -29,6 +29,7 @@
 :- use_module(library(format)).
 :- use_module(library(charsio)).
 :- use_module(library(dcgs)).
+:- use_module(library(lists), [member/2]).

 http_open(Address, Stream, Options) :-
        must_be(list, Options),