From b3c9fb2feaf1bcf532b9ae0a9ce80bf816b1754d Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 20 Jun 2020 19:07:43 +0200 Subject: [PATCH] import member/2 from library(lists) This is needed when processing redirects. --- src/lib/http/http_open.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib/http/http_open.pl b/src/lib/http/http_open.pl index bc276e9e..fc6304c7 100644 --- 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), -- 2.54.0