diff --git a/_oasis b/_oasis index ba14a2ddd663b18e65d46ea48883c80e229c80a0..94c17d571686ba7b698dbb114b78c0ce86f52215 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ 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). diff --git a/src/lv6version.ml b/src/lv6version.ml index 91d620e3bd0e5357c15aa3a6421bda53c6234346..deb9679894f2c7ae09ec817207784fd400d36745 100644 --- a/src/lv6version.ml +++ b/src/lv6version.ml @@ -1,7 +1,7 @@ (** 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" diff --git a/src/socExecDbg.ml b/src/socExecDbg.ml index 268fb749faaa68f70338c6d6263f00cb78828221..92d7784e5e6cd9671d1b2133ec51c84693e9c447 100644 --- a/src/socExecDbg.ml +++ b/src/socExecDbg.ml @@ -1,4 +1,4 @@ -(* 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";