From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 10 Feb 2021 21:13:37 +0000 (-0700)
Subject: break out of the first inner loop if constants contains no key in remove_constant_ind... 
X-Git-Tag: v0.9.0~150^2~60
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2db1fac1ebb2dd2446e8c52a11e960da92557d06;p=scryer-prolog.git

break out of the first inner loop if constants contains no key in remove_constant_indices (#816)
---

diff --git a/src/indexing.rs b/src/indexing.rs
index 14b5f356..90f1b2b3 100644
--- a/src/indexing.rs
+++ b/src/indexing.rs
@@ -561,15 +561,15 @@ pub fn remove_constant_indices(
                     constants_index = index;
 
                     match constants.get(constant).cloned() {
-                        Some(IndexingCodePtr::External(_)) => {
+                        Some(IndexingCodePtr::External(_)) | Some(IndexingCodePtr::Fail) => {
                             constants.remove(constant);
                             break;
                         }
                         Some(IndexingCodePtr::Internal(o)) => {
                             index += o;
                         }
-                        Some(IndexingCodePtr::Fail) | None => {
-                            unreachable!()
+                        None => {
+                            break;
                         }
                     }
                 }