Fixing bugs

diff --git a/src/ASTTransform/analyzer.cc b/src/ASTTransform/analyzer.cc
index fb8fc33b054c49a5114aafefc513a5467f8b9501..bd0628fd6350cdcd06ace0e1cec4281be7528efc 100644 (file)
--- 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;