1module add_symbol_test 1.0; 2 3require { class file { read write }; } 4 5type type_add_1; 6attribute attrib_add_1; 7role role_add_1; 8bool bool_add_1 false; 9 10ifdef(`enable_mls',`',` 11user user_add_1 roles { role_add_1 }; 12') 13
1module add_symbol_test 1.0; 2 3require { class file { read write }; } 4 5type type_add_1; 6attribute attrib_add_1; 7role role_add_1; 8bool bool_add_1 false; 9 10ifdef(`enable_mls',`',` 11user user_add_1 roles { role_add_1 }; 12') 13