Update the instruction pointer in RATFlip

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1729 8c4709b5-6ec9-48aa-a5cd-a96041d1645a

src/experiments/l4-sys/experiment.cc

@@ -500,6 +500,9 @@ bool L4SysExperiment::run() {
 
 		} while (which == UD_NONE);
 
+		// store the real injection point
+		param.msg.set_injection_ip(simulator.getRegisterManager().getInstructionPointer());
+
 		// so we are able to flip the associated registers
 		// for details on the algorithm, see Bjoern Doebel's SWIFI/RATFlip class