SG_BEGIN_DECL()
-XBT_PUBLIC(void) init();
+XBT_PUBLIC(void) init(void);
XBT_PUBLIC(void) new_state(char* id, int src);
XBT_PUBLIC(xbt_exp_label_t) new_label(int type, ...);
-XBT_PUBLIC(xbt_automaton_t) get_automaton();
+XBT_PUBLIC(xbt_automaton_t) get_automaton(void);
-XBT_PUBLIC(void) display_automaton();
+XBT_PUBLIC(void) display_automaton(void);
SG_END_DECL()