Types: squash compiler warning

ethereum · Nov 24, 2023 · 01c084e · 01c084e
1 parent e0f1b3a
commit 01c084e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/EVM/Types.hs b/src/EVM/Types.hs
@@ -606,7 +606,7 @@ data VM gas s = VM
   , logs           :: [Expr Log]
   , traces         :: Zipper.TreePos Zipper.Empty Trace
   , cache          :: Cache
-  , burned         :: {-# UNPACK #-} !gas
+  , burned         :: !gas
   , iterations     :: Map CodeLocation (Int, [Expr EWord])
   -- ^ how many times we've visited a loc, and what the contents of the stack were when we were there last
   , constraints    :: [Prop]