Small wip

clarus · clarus · commit 155c08265170 · 2025-03-27T18:51:02.000+01:00
diff --git a/CoqOfRust/revm/revm_interpreter/links/gas.v b/CoqOfRust/revm/revm_interpreter/links/gas.v
@@ -13,9 +13,7 @@ Require Import revm_interpreter.gas.
 
 (*
 pub struct MemoryGas {
-    /// Current memory length
     pub words_num: usize,
-    /// Current memory expansion cost
     pub expansion_cost: u64,
 }
 *)

Original file line number	Diff line number	Diff line change
`@@ -13,9 +13,7 @@ Require Import revm_interpreter.gas.`
`13`	`13`
`14`	`14`	`(*`
`15`	`15`	`pub struct MemoryGas {`
`16`		`- /// Current memory length`
`17`	`16`	`pub words_num: usize,`
`18`		`- /// Current memory expansion cost`
`19`	`17`	`pub expansion_cost: u64,`
`20`	`18`	`}`
`21`	`19`	`*)`