diff --git a/public/servicemanager.te b/public/servicemanager.te
index 7fa56f8027d263834469b9fa192bfb73e8205f0f..c7cd738ba56bb1247093fc99255fd8163404280b 100644
--- a/public/servicemanager.te
+++ b/public/servicemanager.te
@@ -18,7 +18,7 @@ allow servicemanager {
 
 allow servicemanager service_contexts_file:file r_file_perms;
 # nonplat_service_contexts only accessible on non full-treble devices
-not_full_treble('allow servicemanager nonplat_service_contexts_file:file r_file_perms;')
+not_full_treble(`allow servicemanager nonplat_service_contexts_file:file r_file_perms;')
 
 # Check SELinux permissions.
 selinux_check_access(servicemanager)