From 294a73c406fc58504aa336aece4e5d957dfdfc7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20V=C3=A1zquez=20Acosta?= <manuel@merchise.org>
Date: Mon, 25 May 2020 06:51:27 -0400
Subject: [PATCH] Remove unused StackIndex from chalk-engine.

---
 chalk-engine/src/lib.rs | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/chalk-engine/src/lib.rs b/chalk-engine/src/lib.rs
index 466736e5b90..5c54231a82f 100644
--- a/chalk-engine/src/lib.rs
+++ b/chalk-engine/src/lib.rs
@@ -77,16 +77,6 @@ index_struct! {
     }
 }
 
-index_struct! {
-    /// The StackIndex identifies the position of a table's goal in the
-    /// stack of goals that are actively being processed. Note that once a
-    /// table is completely evaluated, it may be popped from the stack,
-    /// and hence no longer have a stack index.
-    struct StackIndex {
-        value: usize,
-    }
-}
-
 /// The paper describes these as `A :- D | G`.
 #[derive(Clone, Debug, PartialEq, Eq, Hash)]
 pub struct ExClause<C: Context> {