Fix: the src info in the rdbg plugin was wrong at exit events

lib/socExecDbg.ml

-(* Time-stamp: <modified the 29/08/2019 (at 16:41) by Erwan Jahier> *)
+(* Time-stamp: <modified the 10/12/2019 (at 10:20) by Erwan Jahier> *)
 open Soc
 open Data
 open SocExecValue
@@ -588,9 +588,9 @@ and (do_soc_step : Lxm.t -> int option -> step_method -> SocExecValue.ctx ->
       Event.kind = Event.Exit;
       Event.lang = "lustre";
       Event.name = step_name;
-      Event.inputs = nectx.Event.inputs;
-      Event.outputs = nectx.Event.outputs;
-      Event.locals = nectx.Event.locals;
+      Event.inputs = fst soc.profile;
+      Event.outputs = snd soc.profile;
+      Event.locals = locals;
       Event.sinfo = sinfo;
       Event.data = datal;
       Event.next = (fun () -> cont3 nectx val_ctx);