From: Hamed Date: Tue, 29 Aug 2017 05:25:44 +0000 (-0700) Subject: Fixing bugs X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6fd245a2e5ea2ca90287a3d884058486c2882699;p=satune.git Fixing bugs --- diff --git a/src/ASTTransform/analyzer.cc b/src/ASTTransform/analyzer.cc index fb8fc33..bd0628f 100644 --- a/src/ASTTransform/analyzer.cc +++ b/src/ASTTransform/analyzer.cc @@ -57,6 +57,7 @@ void orderAnalysis(CSolver *This) { //This is needed for splitorder computeStronglyConnectedComponentGraph(graph); + decompose->setOrderGraph(graph); decompose->doTransform(); delete decompose; delete graph;