From f136c1a5e5ce82f05e91038bcebc62037efda12b Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Wed, 23 Aug 2023 11:17:01 +0200 Subject: Tree-wide: various fixes and clean-ups Signed-off-by: Dominick Grift --- src/file.cil | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/file.cil') diff --git a/src/file.cil b/src/file.cil index 69e92d8..a393021 100644 --- a/src/file.cil +++ b/src/file.cil @@ -3,6 +3,11 @@ (block file + (macro anon_file_type_transition + ((type ARG1)(type ARG2)(class ARG3)(name ARG4)(type ARG5)) + (typetransition ARG1 ARG2 ARG3 ARG4 ARG5) + (allow ARG1 ARG2 addname_dir)) + (macro type ((type ARG1)) (typeattributeset typeattr ARG1)) -- cgit v1.2.3