From 6a0f638d4024e66fefc54bd7cd8b4c23c97cfd90 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Fri, 29 Oct 2021 23:52:08 +0200 Subject: [PATCH] Disable check of atom and leverage to open/4 the domain_error --- src/lib/pio.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/pio.pl b/src/lib/pio.pl index 3f0e9c60..7755918f 100644 --- a/src/lib/pio.pl +++ b/src/lib/pio.pl @@ -6,7 +6,7 @@ :- use_module(library(error)). :- use_module(library(freeze)). :- use_module(library(iso_ext), [setup_call_cleanup/3, partial_string/3]). -:- use_module(library(lists), [member/2, maplist/2]). +:- use_module(library(lists), [member/2]). :- use_module(library(format), [format/3]). :- meta_predicate(phrase_from_file(2, ?)). -- 2.54.0