diff --git a/android/module.go b/android/module.go
index 4785a91..39c257c 100644
--- a/android/module.go
+++ b/android/module.go
@@ -2216,8 +2216,6 @@
 		case "use_debug_art":
 			// TODO(b/234351700): Remove once ART does not have separated debug APEX
 			return proptools.ConfigurableValueBool(ctx.Config().UseDebugArt())
-		case "selinux_ignore_neverallows":
-			return proptools.ConfigurableValueBool(ctx.Config().SelinuxIgnoreNeverallows())
 		default:
 			// TODO(b/323382414): Might add these on a case-by-case basis
 			ctx.OtherModulePropertyErrorf(m, property, fmt.Sprintf("TODO(b/323382414): Product variable %q is not yet supported in selects", variable))
diff --git a/android/variable.go b/android/variable.go
index 88218d7..df0e59c 100644
--- a/android/variable.go
+++ b/android/variable.go
@@ -192,9 +192,6 @@
 			Required        []string
 			Vintf_fragments []string
 		}
-		SelinuxIgnoreNeverallows struct {
-			Required []string
-		}
 	} `android:"arch_variant"`
 }