SimCtl::terminate doesn't return

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1028 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
2012-04-04 16:06:06 +00:00
parent 3a621275c0
commit 305c289730
1 changed files with 1 additions and 1 deletions
--- a/core/SAL/SimulatorController.hpp
+++ b/core/SAL/SimulatorController.hpp
@ -140,7 +140,7 @@ class SimulatorController
 		 * Terminate simulator
 		 * @param exCode Individual exit code
 		 */
-		void terminate(int exCode = EXIT_SUCCESS);
+		void terminate(int exCode = EXIT_SUCCESS) __attribute__ ((noreturn));
 		/**
 		 * Check whether the interrupt should be suppressed.
 		 * @param interruptNum the interrupt-type id