From 77f8d52271a12a8b498afe2718d91e4e992b3a31 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 15 May 2022 10:19:00 +0200 Subject: [PATCH] use phrase_from_file/2 directly on the file name --- src/lib/sgml.pl | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/lib/sgml.pl b/src/lib/sgml.pl index 0289278e..bb1b58c3 100644 --- a/src/lib/sgml.pl +++ b/src/lib/sgml.pl @@ -70,9 +70,8 @@ load_structure_([C|Cs], [E], Options, What) :- load_(What, [C|Cs], E, Options). load_structure_(file(Fs), [E], Options, What) :- must_be(list, Options), - must_be(list, Fs), - atom_chars(File, Fs), - once(phrase_from_file(seq(Cs), File)), + must_be(chars, Fs), + once(phrase_from_file(seq(Cs), Fs)), load_(What, Cs, E, Options). load_structure_(stream(Stream), [E], Options, What) :- must_be(list, Options), -- 2.54.0