(Promela) Minor fixes
Merge branch 'master' of https://github.com/orcc/orcc
Merge branch 'master' of https://github.com/orcc/orcc
(Promela) Fixed what failed on the continous integration server..