From 7eb0669de5e4a570cec92ae7fe62b6185f618d51 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Sun, 28 Nov 2021 13:20:09 +0100 Subject: [PATCH] Fix use_module import errors --- src/loader.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/loader.pl b/src/loader.pl index 8ab46bf0..771aaafb 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -503,7 +503,7 @@ open_file(Path, Stream) :- ( atom_concat(_, '.pl', Path) -> open(Path, read, Stream) ; catch(open(Path, read, Stream), - error(existence_error(source_sink, Path), _), + error(existence_error(source_sink, _), _), ( atom_concat(Path, '.pl', ExtendedPath), open(ExtendedPath, read, Stream) ) ) -- 2.54.0