import also partial_string/3 (used in #1071)

diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl
index 2109da5006d46f2c52a9f16ab18656bf992327c8..c88956321a3d42281a294927c3250482b8d126c6 100644 (file)
--- a/src/lib/charsio.pl
+++ b/src/lib/charsio.pl
@@ -10,7 +10,7 @@
 :- use_module(library(iso_ext)).
 :- use_module(library(error)).
 :- use_module(library(lists)).
-:- use_module(library(iso_ext), [partial_string/1]).
+:- use_module(library(iso_ext), [partial_string/1,partial_string/3]).
 
 fabricate_var_name(VarType, VarName, N) :-
     char_code('A', AC),