From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 4 Jun 2020 04:05:46 +0000 (-0600)
Subject: remove unreachable branch in increment_s_ptr (#575)
X-Git-Tag: v0.8.127~58
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=24f11b5ae98e505d1815a0d82b64b7c94f4e23d4;p=scryer-prolog.git

remove unreachable branch in increment_s_ptr (#575)
---

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 68ae9e36..1e52dd1b 100644
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -689,7 +689,7 @@ impl MachineState {
             &mut HeapPtr::PStrChar(h, ref mut n) |
             &mut HeapPtr::PStrLocation(h, ref mut n) => {
                 match &self.heap[h] {
-                    HeapCellValue::PartialString(ref pstr, _) => {
+                    &HeapCellValue::PartialString(ref pstr, _) => {
                         for c in pstr.range_from(*n ..).take(rhs) {
                             *n += c.len_utf8();
                         }
@@ -697,7 +697,6 @@ impl MachineState {
                         self.s = HeapPtr::PStrLocation(h, *n);
                     }
                     _ => {
-                        unreachable!()
                     }
                 }
             }