From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 12 Feb 2021 01:51:21 +0000 (-0700)
Subject: remove unused is_internal function from indexing.rs
X-Git-Tag: v0.9.0~150^2~54
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bd9708326829842c70326b7f85dabbaa3d365a2d;p=scryer-prolog.git

remove unused is_internal function from indexing.rs
---

diff --git a/src/indexing.rs b/src/indexing.rs
index 6e1cdc85..49a3afdf 100644
--- a/src/indexing.rs
+++ b/src/indexing.rs
@@ -22,17 +22,6 @@ pub enum IndexingCodePtr {
     Internal(usize), // the index points into the indexing instruction prelude.
 }
 
-impl IndexingCodePtr {
-    #[inline]
-    fn is_internal(self) -> bool {
-        if let IndexingCodePtr::Internal(_) = self {
-            true
-        } else {
-            false
-        }
-    }
-}
-
 #[derive(Debug, Clone, Copy)]
 enum OptArgIndexKeyType {
     Structure,