package graphical_editor.aadl_options is

	procedure Show_aadl_option_Widget;

end graphical_editor.aadl_options;