diff options
Diffstat (limited to 'src/file.cil')
| -rw-r--r-- | src/file.cil | 5 |
1 files changed, 5 insertions, 0 deletions
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)) |