From c63155f072054f50842281cc50a7fada9a1c739b Mon Sep 17 00:00:00 2001
From: hsc <hsc@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Tue, 24 Apr 2012 13:12:36 +0000
Subject: [PATCH] wmoo: experiment steps 1+2 merge

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

diff --git a/core/experiments/weathermonitor/experiment.cc b/core/experiments/weathermonitor/experiment.cc
index dbcab6e2..40f3115f 100644
--- a/core/experiments/weathermonitor/experiment.cc
+++ b/core/experiments/weathermonitor/experiment.cc
@@ -49,7 +49,7 @@ bool WeathermonitorExperiment::run()
 	sal::simulator.save(statename);
 	assert(bp.getTriggerInstructionPointer() == WEATHER_FUNC_MAIN);
 	assert(sal::simulator.getRegisterManager().getInstructionPointer() == WEATHER_FUNC_MAIN);
-#elif 0
+
 	// STEP 2: record trace for fault-space pruning
 	log << "restoring state" << endl;
 	sal::simulator.restore(statename);