Fix findSCCNodes

VCA-EPFL · Nov 8, 2024 · 633bcf4 · 633bcf4
1 parent 7c19a04
commit 633bcf4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/DataflowRewriter/Rewriter.lean b/DataflowRewriter/Rewriter.lean
@@ -356,7 +356,7 @@ never reached an output node.
 -/
 def findSCCNodes (g : ExprHigh String) (startN endN : String) : Option (List String) := do
   let l ← findSCCNodes' (← fullCalcSucc g) startN endN
-  let l' ← findSCCNodes' (← fullCalcSucc g.invert) startN endN
+  let l' ← findSCCNodes' (← fullCalcSucc g.invert) endN startN
   return l.union l'
 
 end DataflowRewriter