From 87dc12f10d1a20b8325cd9b013d46e38663bf979 Mon Sep 17 00:00:00 2001
From: Valerii Huhnin <olympichek1@gmail.com>
Date: Tue, 4 Jun 2024 10:09:21 +0000
Subject: [PATCH] change the type of the `instruction_pointer` field

---
 CoqOfRust/revm/simulations/interpreter/interpreter.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CoqOfRust/revm/simulations/interpreter/interpreter.v b/CoqOfRust/revm/simulations/interpreter/interpreter.v
index d0b06e61a..be68a30b6 100644
--- 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;