olaf@pc:~/shk/rtsc2nusmv$ make
gcc -g -c -std=c99 -Wall `xml2-config --cflags` `pkg-config --cflags glib-2.0`   -c -o src/rtsc2nusmv.o src/rtsc2nusmv.c
In file included from src/rtsc2nusmv.c:8:
src/rtsc.h:109: Fehler: expected specifier-qualifier-list before »Transition«
make: *** [src/rtsc2nusmv.o] Fehler 1