From ee24acd085b48899b952d104b9ccc36f76cbc02e Mon Sep 17 00:00:00 2001
From: unzner <unzner@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Thu, 22 Nov 2012 20:38:50 +0000
Subject: [PATCH] Forgot something

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1949 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
---
 src/experiments/l4-sys/experiment.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/experiments/l4-sys/experiment.cc b/src/experiments/l4-sys/experiment.cc
index a58a7b75..3cf49318 100644
--- a/src/experiments/l4-sys/experiment.cc
+++ b/src/experiments/l4-sys/experiment.cc
@@ -183,6 +183,7 @@ L4SysExperiment::~L4SysExperiment() {
 
 void L4SysExperiment::destroy() {
 	delete param;
+	param = NULL;
 }
 
 void L4SysExperiment::terminate(int reason) {