From c7504a353e74f05ce7948b94a53502c035c94d08 Mon Sep 17 00:00:00 2001
From: xavier thirioux <xavier.thirioux@isae-supaero.fr>
Date: Mon, 20 Mar 2023 18:53:45 +0100
Subject: [PATCH] instance counter restored
---
src/causality.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/causality.ml b/src/causality.ml
index e4df998c..9caf44bb 100644
--- a/src/causality.ml
+++ b/src/causality.ml
@@ -105,7 +105,7 @@ module ExprDep = struct
program/schedule, but used to simplify causality analysis *)
let mk_instance_var eq f =
incr instance_var_cpt;
- Format.sprintf "%s_%d" f (fst eq.eq_loc).Lexing.pos_lnum
+ Format.sprintf "%s_%d_%d" f (fst eq.eq_loc).Lexing.pos_lnum !instance_var_cpt
let mk_call_instance_var id =
Format.sprintf "?%s" id
@@ -739,7 +739,7 @@ module Disjunction = struct
* Hashtbl.remove map v.var_id;
* Hashtbl.iter (fun x mapx -> Hashtbl.replace map x (CISet.remove v mapx)) map *)
- let pp_disjoint_map fmt map =
+let pp_disjoint_map fmt map =
Format.(
fprintf fmt "@[<v 2>{ /* disjoint map */%t@] }" (fun fmt ->
Hashtbl.iter
--
GitLab