diff --git a/public/domain.te b/public/domain.te
index a049094c066821b81be7cf2d30558f6c81bae8ff..f9923ed1c88d6055b84f658294f8deb103eb542b 100644
--- a/public/domain.te
+++ b/public/domain.te
@@ -1036,7 +1036,10 @@ full_treble_only(`
       coredomain
       -shell
       -system_executes_vendor_violators
-    } vendor_file_type:file execute_no_trans;
+    } {
+      vendor_file_type
+      -same_process_hal_file
+    }:file execute_no_trans;
 ')
 
 # Only authorized processes should be writing to files in /data/dalvik-cache