diff --git a/whitechapel_pro/hal_dumpstate_default.te b/whitechapel_pro/hal_dumpstate_default.te
index 77d1b7db..244ebc15 100644
--- a/whitechapel_pro/hal_dumpstate_default.te
+++ b/whitechapel_pro/hal_dumpstate_default.te
@@ -60,10 +60,6 @@ allow hal_dumpstate_default vendor_slog_file:file r_file_perms;
 
 allow hal_dumpstate_default logbuffer_device:chr_file r_file_perms;
 
-allow hal_dumpstate_default citadeld_service:service_manager find;
-allow hal_dumpstate_default citadel_updater:file execute_no_trans;
-binder_call(hal_dumpstate_default, citadeld);
-
 allow hal_dumpstate_default device:dir r_dir_perms;
 allow hal_dumpstate_default aoc_device:chr_file rw_file_perms;