typo

Author: TomWambsgans

crates/lean_vm/src/execution/runner.rs

@@ -281,7 +281,7 @@ fn execute_bytecode_helper(
         println!(
             "Runtime memory: {} ({:.2}% vec)",
             pretty_integer(runtime_memory_size),
-            (DIMENSION * (ap_vec - initial_ap_vec)) as f64 / runtime_memory_size as f64 * 100.0
+            (VECTOR_LEN * (ap_vec - initial_ap_vec)) as f64 / runtime_memory_size as f64 * 100.0
         );
         let used_memory_cells = memory
             .0

crates/lean_vm/src/isa/hint.rs

@@ -1,4 +1,4 @@
-use crate::core::{DIMENSION, F, LOG_VECTOR_LEN, Label, SourceLineNumber, VECTOR_LEN};
+use crate::core::{F, LOG_VECTOR_LEN, Label, SourceLineNumber, VECTOR_LEN};
 use crate::diagnostics::RunnerError;
 use crate::execution::{ExecutionHistory, Memory};
 use crate::isa::operands::MemOrConstant;
@@ -165,7 +165,7 @@ impl Hint {
                     } else {
                         assert_eq!(values.len(), 2);
                         let new_no_vec_memory = *ctx.ap - *ctx.checkpoint_ap;
-                        let new_vec_memory = (*ctx.ap_vec - *ctx.checkpoint_ap_vec) * DIMENSION;
+                        let new_vec_memory = (*ctx.ap_vec - *ctx.checkpoint_ap_vec) * VECTOR_LEN;
                         *ctx.std_out += &format!(
                             "[CHECKPOINT {}] new CPU cycles: {}, new runtime memory: {} ({:.1}% vec)\n",
                             values[1],