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::(); implements_auto_traits::(); implements_auto_traits::(); - implements_auto_traits::(); implements_auto_traits::(); implements_auto_traits::(); implements_auto_traits::(); 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(), - ) - } -}