From 52af9554633d2a4758cff98a4acacd06e9a6fe4e Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 4 Nov 2021 18:50:40 +0100 Subject: [PATCH] import also partial_string/3 (used in #1071) --- src/lib/charsio.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl index 2109da50..c8895632 100644 --- 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), -- 2.54.0