260
260
check_module(Module, Modules),
261
261
check_apply(Module, Function, Args);
263
check_instruction(_, {restart_application, ?APPLICATION}, _AllInstr, _Modules) ->
263
266
check_instruction(_, Instr, _AllInstr, _Modules) ->
264
267
d("check_instruction -> entry when unknown instruction with"
265
268
"~n Instr: ~p", [Instr]),