use phrase_from_file/2 directly on the file name

diff --git a/src/lib/sgml.pl b/src/lib/sgml.pl
index 0289278e2c0826aefe0d1dd2cbd9213917da077d..bb1b58c3c8162df827f923f8b7225584baec46bd 100644 (file)
--- 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),