diff --git a/flake.lock b/flake.lock
index 376e09636f..a3546384d7 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1666,16 +1666,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1688999199,
-        "narHash": "sha256-nN7ZinKMk60ZLhhyfJTOMEIj8xIn8rkM5h9Dz+nGDEo=",
+        "lastModified": 1689068590,
+        "narHash": "sha256-G1/Hq8ZXCKN8mkCnA4/OeSPwMgiKQtZdg588KuNKF5I=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "0ad602058e3dbd92729476ac96a6885bf381c2d8",
+        "rev": "179df90679b7f948c01709af0040d82ec4326018",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.362",
+        "ref": "v0.1.363",
         "repo": "pyk",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index a197215aec..5ca4ee9017 100644
--- a/flake.nix
+++ b/flake.nix
@@ -17,7 +17,7 @@
     ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
     ethereum-legacytests.flake = false;
     haskell-backend.follows = "k-framework/haskell-backend";
-    pyk.url = "github:runtimeverification/pyk/v0.1.362";
+    pyk.url = "github:runtimeverification/pyk/v0.1.363";
     pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
     pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
     foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent release