1		% (c) 2018 Lehrstuhl fuer Softwaretechnik und Programmiersprachen,
2		% Heinrich Heine Universitaet Duesseldorf
3		% This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html)
4
5		:- module(prob_startup, [startup_prob/0]).
6
7		% general startup code required for all versions of ProB
8
9		:- use_module(pathes,[set_search_pathes/0]). % called first to set_compile_time_search_pathes
10		%:- set_search_pathes.
11		:- use_module(error_manager,[init_error_manager/0]).
12		:- use_module(tools,[host_platform/1]).
13		:- use_module(eventhandling, [announce_event/1]).
14
15		startup_prob :- %print(startup_prob),nl,
16		set_search_pathes,
17		%myheap_init,
18		init_error_manager,
19		announce_event(startup_prob).
20		%init_eclipse_preferences,