rdbg plugin: fix the event number

_oasis

 OASISFormat: 0.4
 Name:        lustre-v6
-Version:     1.684
+Version:     1.685
 Synopsis:    The Lustre V6 Verimag compiler
 Description: This package contains:
    (1) lus2lic: the (current) name of the compiler (and interpreter via -exec).

src/lv6version.ml

 (** Automatically generated from Makefile *) 
 let tool = "lus2lic"
 let branch = "master"
-let commit = "684"
-let sha_1 = "91428de2baac6fdec5f01f358e5182817893b725"
+let commit = "685"
+let sha_1 = "1718ee127344c208a6a656106883c52328e5a969"
 let str = (branch ^ "." ^ commit ^ " (" ^ sha_1 ^ ")")
 let maintainer = "jahier@imag.fr"

src/socExecDbg.ml

-(* Time-stamp: <modified the 02/01/2017 (at 18:11) by Erwan Jahier> *)
+(* Time-stamp: <modified the 06/02/2017 (at 11:11) by jahier> *)
 open Soc
 open Data
 open SocExecValue
@@ -415,7 +415,7 @@ and (do_step_dbg : Soc.tbl -> Soc.t -> Event.t -> SocExecValue.ctx ->
       in
       { 
         Event.step = ectx.Event.step;
-        Event.nb = nectx.Event.nb;
+        Event.nb = local_ectx.Event.nb;
         Event.depth = ectx.Event.depth;
         Event.kind = Event.Exit;
         Event.lang = "lustre";