change the type of the instruction_pointer field

formal-land · Jun 4, 2024 · 87dc12f · 87dc12f
1 parent c4b5d2c
commit 87dc12f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CoqOfRust/revm/simulations/interpreter/interpreter.v b/CoqOfRust/revm/simulations/interpreter/interpreter.v
@@ -58,7 +58,7 @@ Require Import CoqOfRust.revm.simulations.interpreter.interpreter_action.
 
 Module Interpreter.
   Record t : Set := {
-    instruction_pointer : list Z;
+    instruction_pointer : Z;
     gas : Gas.t;
     contract : Contract.t;
     instruction_result : InstructionResult.t;