diff --git a/emulator/test-vectors/test.json b/emulator/test-vectors/test.json
index 05bf41aa..0cf1a95d 100644
Binary files a/emulator/test-vectors/test.json and b/emulator/test-vectors/test.json differ
diff --git a/prover/examples/zkmips.rs b/prover/examples/zkmips.rs
index 373518db..e085bccc 100644
--- a/prover/examples/zkmips.rs
+++ b/prover/examples/zkmips.rs
@@ -332,7 +332,7 @@ fn prove_revm() {
 
     let mut state = load_elf_with_patch(&elf_path, vec![]);
     // load input
-    state.add_input_stream(&data);
+    state.input_stream.push(data);
 
     let (_total_steps, seg_num, mut _state) = split_prog_into_segs(state, &seg_path, "", seg_size);
 
diff --git a/prover/src/cross_table_lookup.rs b/prover/src/cross_table_lookup.rs
index da9b41a2..3b245998 100644
--- a/prover/src/cross_table_lookup.rs
+++ b/prover/src/cross_table_lookup.rs
@@ -437,7 +437,7 @@ pub(crate) struct CtlZData<'a, F: Field> {
     pub(crate) filter: Vec<Option<Filter<F>>>,
 }
 
-impl<'a, F: Field> CtlData<'a, F> {
+impl<F: Field> CtlData<'_, F> {
     pub fn len(&self) -> usize {
         self.zs_columns.len()
     }