Revert the tikz node cs change

rems-project · Nov 7, 2023 · bcb2063 · bcb2063
1 parent b0d3c35
commit bcb2063
Showing 1 changed file with 6 additions and 13 deletions.
diff --git a/src_top/tikz.ml b/src_top/tikz.ml
@@ -70,13 +70,6 @@ let make_tikz_graph
     !res
   in
 
-  (* Old version of pgf has some trouble parsing the special syntax of node cs
-     for eiids with numbers, as you get for mixed-size events, (e.g. '(a0)');
-     this function pp the explicit syntax which is easier to parse. *)
-  let node_cs (name: string) : string =
-    sprintf "node cs:name=%s" name
-  in
-
   let pp_tikz_pretty_ioid ioid =
     let (tid, ioid) = ioid in
     sprintf "%d-%d" tid ioid
@@ -500,8 +493,8 @@ let make_tikz_graph
         List.map
           (fun (w, w') ->
               pp_tikz_edge "co"
-                (node_cs (pp_tikz_pretty_eiid m w.weiid))
-                (node_cs (pp_tikz_pretty_eiid m w'.weiid)))
+                (pp_tikz_pretty_eiid m w.weiid)
+                (pp_tikz_pretty_eiid m w'.weiid))
           co
       in
                 "  % coherence\n" ^
@@ -523,8 +516,8 @@ let make_tikz_graph
                   pp_eiid
               else
                 pp_tikz_edge ("rf'=" ^ pp_tikz_write_slices_uncoloured m (w, ss))
-                  (node_cs (pp_tikz_pretty_eiid m w.weiid))
-                  (node_cs (pp_tikz_pretty_eiid m r.reiid))
+                  (pp_tikz_pretty_eiid m w.weiid)
+                  (pp_tikz_pretty_eiid m r.reiid)
           )
           rf
       in
@@ -540,8 +533,8 @@ let make_tikz_graph
         List.map
           (fun (r, (w, ss)) ->
               pp_tikz_edge ("fr'=" ^ pp_tikz_write_slices_uncoloured m (w, ss))
-                  (node_cs (pp_tikz_pretty_eiid m r.reiid))
-                  (node_cs (pp_tikz_pretty_eiid m w.weiid)))
+                  (pp_tikz_pretty_eiid m r.reiid)
+                  (pp_tikz_pretty_eiid m w.weiid))
           fr
       in
                 "  % from-read:\n" ^