diff --git a/flake.lock b/flake.lock
index d7a12db09..448257963 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1080,16 +1080,16 @@
         "solc": "solc"
       },
       "locked": {
-        "lastModified": 1697717056,
-        "narHash": "sha256-WH8sI5onjX1yFHmh11Qk0JUuFfu9nR09pgxisF9wv1s=",
+        "lastModified": 1697793793,
+        "narHash": "sha256-39hJfGE6mXjR3SFO8yfDq0YgejVdW8QdnlRLjl3/Q9w=",
         "owner": "runtimeverification",
         "repo": "evm-semantics",
-        "rev": "95f02e00f4fb92ec97a21d9d12373b521fc1c27b",
+        "rev": "0717dacc002bdf25085e3c9abe964beee9053721",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v1.0.318",
+        "ref": "v1.0.319",
         "repo": "evm-semantics",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index c8b07c532..205c6502e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "Kontrol";
 
   inputs = {
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.318";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.319";
     nixpkgs.follows = "kevm/nixpkgs";
     k-framework.follows = "kevm/k-framework";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";