Fixed bug with '$skip_max_list'/4

diff --git a/src/lib/pio.pl b/src/lib/pio.pl
index 8688e1c9f18fe9f14c90c8ee7f80cba7bb1d1a9c..b6fe778670703f37067a079337e2008037baeaaf 100644 (file)
--- a/src/lib/pio.pl
+++ b/src/lib/pio.pl
@@ -170,14 +170,7 @@ partial_string_last_tail(PartialString, PartialStringTail) :-
     ).
 
 string_get_n_chars(String, Pos, N, Chars) :-
-    chars_to_read(CharsToRead),
-    (   CharsToRead < Pos -> 
-        % I have absolutely no idea why this is needed (maybe it's a bug?),
-        % but hey, it works.
-        '$skip_max_list'(_, Pos, String, String0),
-        '$skip_max_list'(_, CharsToRead, String0, String1)
-    ;   '$skip_max_list'(_, Pos, String, String1)
-    ),
+    '$skip_max_list'(_, Pos, String, String1),
     string_get_n_chars_(String1, N, Chars).
 
 string_get_n_chars_([], _, []).