diff --git a/default.nix b/default.nix index 668b01702..ac85d95ee 100644 --- a/default.nix +++ b/default.nix @@ -155,8 +155,7 @@ let contents = { "${name}/urbit" = "${urbit}/bin/urbit"; "${name}/urbit-worker" = "${urbit}/bin/urbit-worker"; - # temporarily removed for compatibility reasons - # "${name}/urbit-king" = "${urbit-king}/bin/urbit-king"; + "${name}/urbit-king" = "${urbit-king}/bin/urbit-king"; }; };