Add import of the WORD module for maxUInt256

lucasmt · lucasmt · commit f432111f160e · 2025-08-01T10:08:23.000-05:00
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/lemmas/int-simplification.k b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/lemmas/int-simplification.k
@@ -106,6 +106,7 @@ endmodule
 module INT-SIMPLIFICATION-COMMON
     imports INT
     imports BOOL
+    imports WORD
 
   // ###########################################################################
   // add, sub
