fix error that made system not schedulable
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1389 129961e7-ef38-4bb5-a8f7-c9a525a55882
Please register or sign in to comment
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1389 129961e7-ef38-4bb5-a8f7-c9a525a55882