Correction of another issue in the tag, use what I think should be th…

…e role of an aligner.
VCA-EPFL · Nov 10, 2024 · bddf515 · bddf515
1 parent 7b7f5e0
commit bddf515
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/DataflowRewriter/Rewrites/FusionParallelTaggers.lean b/DataflowRewriter/Rewrites/FusionParallelTaggers.lean
@@ -116,7 +116,7 @@ def rhs : ExprHigh String := [graph|
     fork_tag [type = "Fork"];
     pack1 [ type = "Join"];
     pack2 [ type = "Join"];
-    j_out [type = "Join"];
+    j_out [type = "Aligner"];
 
     i_datal -> j_in [inp = "enq_untagged"];
     i_datar -> j_in [inp = "enq_untagged"];