From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 15 Apr 2020 16:07:44 +0000 (-0600)
Subject: don't count the terminator in PStrIter len
X-Git-Tag: v0.8.123~153
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6d7b14ceb5f2e41adefd350f28a5aa34057d804c;p=scryer-prolog.git

don't count the terminator in PStrIter len
---

diff --git a/src/prolog/examples/plres.pl b/src/prolog/examples/plres.pl
index a19ca5a7..9bc2931b 100644
--- 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 eaaad181..cb95b44c 100644
--- 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]