From 305c289730d83638f18d9fe27994533055c57363 Mon Sep 17 00:00:00 2001
From: hsc <hsc@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Wed, 4 Apr 2012 16:06:06 +0000
Subject: [PATCH] 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
---
 core/SAL/SimulatorController.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/SAL/SimulatorController.hpp b/core/SAL/SimulatorController.hpp
index a72b5175..285e6f7e 100644
--- 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