9 lines
107 B
Text
9 lines
107 B
Text
module my_module 1.0;
|
|
|
|
require {
|
|
class file {read write};
|
|
ifdef(`enable_mls',`
|
|
user user_check_1;
|
|
')
|
|
}
|
|
|