From e257c358d211156f6cf6141711b09e711faaf9fb Mon Sep 17 00:00:00 2001
From: Jan Ferdinand Sauer <ferdinand@neptune.cash>
Date: Wed, 8 May 2024 09:18:40 +0200
Subject: [PATCH] refactor!: remove unused `JumpStackTraceRow`

---
 triton-vm/src/lib.rs                    |  1 -
 triton-vm/src/table/jump_stack_table.rs | 23 -----------------------
 2 files changed, 24 deletions(-)

diff --git a/triton-vm/src/lib.rs b/triton-vm/src/lib.rs
index 97ff354e..fceed472 100644
--- a/triton-vm/src/lib.rs
+++ b/triton-vm/src/lib.rs
@@ -644,7 +644,6 @@ mod tests {
         implements_auto_traits::<table::hash_table::HashTableMode>();
         implements_auto_traits::<table::jump_stack_table::JumpStackTable>();
         implements_auto_traits::<table::jump_stack_table::ExtJumpStackTable>();
-        implements_auto_traits::<table::jump_stack_table::JumpStackTraceRow>();
         implements_auto_traits::<table::lookup_table::LookupTable>();
         implements_auto_traits::<table::lookup_table::ExtLookupTable>();
         implements_auto_traits::<table::master_table::TableId>();
diff --git a/triton-vm/src/table/jump_stack_table.rs b/triton-vm/src/table/jump_stack_table.rs
index 143f703c..7e43b10e 100644
--- a/triton-vm/src/table/jump_stack_table.rs
+++ b/triton-vm/src/table/jump_stack_table.rs
@@ -1,7 +1,4 @@
 use std::cmp::Ordering;
-use std::fmt::Display;
-use std::fmt::Formatter;
-use std::fmt::Result as FmtResult;
 
 use ndarray::parallel::prelude::*;
 use ndarray::*;
@@ -347,23 +344,3 @@ impl JumpStackTable {
         }
     }
 }
-
-pub struct JumpStackTraceRow {
-    pub row: [BFieldElement; BASE_WIDTH],
-}
-
-impl Display for JumpStackTraceRow {
-    fn fmt(&self, f: &mut Formatter<'_>) -> FmtResult {
-        let width = 5;
-        write!(
-            f,
-            "│ CLK: {:>width$} │ CI:  {:>width$} │ \
-            JSP: {:>width$} │ JSO: {:>width$} │ JSD: {:>width$} │",
-            self.row[CLK.base_table_index()].value(),
-            self.row[CI.base_table_index()].value(),
-            self.row[JSP.base_table_index()].value(),
-            self.row[JSO.base_table_index()].value(),
-            self.row[JSD.base_table_index()].value(),
-        )
-    }
-}