don't count the terminator in PStrIter len

diff --git a/src/prolog/examples/plres.pl b/src/prolog/examples/plres.pl
index a19ca5a73a9dc7f6c86f5f6a70fc7020edbab801..9bc2931bed606280c86e680410f7def39768e4ef 100644 (file)
--- a/src/prolog/examples/plres.pl
+++ b/src/prolog/examples/plres.pl
@@ -31,6 +31,7 @@
 
 :- use_module(library(dcgs)).
 :- use_module(library(dif)).
+:- use_module(library(format)).
 :- use_module(library(lists)).
 
 pl_resolution(Clauses0, Chain) :-

diff --git a/src/prolog/machine/partial_string.rs b/src/prolog/machine/partial_string.rs
index eaaad1819ff25af0ad8fdb2379a28adf5fa79ad6..cb95b44c15f579df36fb2ae56e44f8eec1d88d24 100644 (file)
--- a/src/prolog/machine/partial_string.rs
+++ b/src/prolog/machine/partial_string.rs
@@ -200,7 +200,7 @@ impl PartialString {
 
     #[inline]
     pub fn range_from(&self, index: RangeFrom<usize>) -> PStrIter {
-        PStrIter::from(self.buf, self.len, index.start)
+        PStrIter::from(self.buf, self.len - '\u{0}'.len_utf8(), index.start)
     }
 
     #[inline]