From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 1 May 2020 16:29:10 +0000 (-0600)
Subject: correct failing character match in compare_pstr_to_string (#397)
X-Git-Tag: v0.8.123~83
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1b7c22677909384e1d84d8f72bba4efc1b4e9330;p=scryer-prolog.git

correct failing character match in compare_pstr_to_string (#397)
---

diff --git a/src/prolog/machine/machine_state.rs b/src/prolog/machine/machine_state.rs
index a2849aeb..2194c3c1 100644
--- a/src/prolog/machine/machine_state.rs
+++ b/src/prolog/machine/machine_state.rs
@@ -277,7 +277,7 @@ fn compare_pstr_to_string<'a>(
                         s_offset += c1.len_utf8();
                     }
                 } else {
-                    return None;
+                    return Some(s_offset);
                 }
             }
             PStrIteratee::PStrSegment(h, n) => {