From c9fd14966e86742cdc228e687c60900d84bcdff4 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Mon, 20 Feb 2017 13:51:11 +0100
Subject: [PATCH] rdbg plugin: fix the event number
---
_oasis | 2 +-
src/lv6version.ml | 4 ++--
src/socExecDbg.ml | 4 ++--
3 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/_oasis b/_oasis
index ba14a2dd..94c17d57 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 91d620e3..deb96798 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 268fb749..92d7784e 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";
--
GitLab