bug fixes

[satune.git] / src / ASTAnalyses / Order / orderanalysis.h

diff --git a/src/ASTAnalyses/Order/orderanalysis.h b/src/ASTAnalyses/Order/orderanalysis.h
index a371c8511924c702ffb9775e3105aab89422bcfa..72f389c01d9fd18870cd41670d720d27b28a8675 100644 (file)
--- a/src/ASTAnalyses/Order/orderanalysis.h
+++ b/src/ASTAnalyses/Order/orderanalysis.h
@@ -4,8 +4,8 @@
 #include "structs.h"
 #include "mymemory.h"
 
-void DFSClearContradictions(CSolver *solver, OrderGraph *graph, HashtableNodeToNodeSet * table, Vector<OrderNode *> *finishNodes, bool computeTransitiveClosure);
-HashtableNodeToNodeSet * getMustReachMap(CSolver  *solver, OrderGraph *graph, Vector<OrderNode *> *finishNodes);
+void DFSClearContradictions(CSolver *solver, OrderGraph *graph, HashtableNodeToNodeSet *table, Vector<OrderNode *> *finishNodes, bool computeTransitiveClosure);
+HashtableNodeToNodeSet *getMustReachMap(CSolver  *solver, OrderGraph *graph, Vector<OrderNode *> *finishNodes);
 
 void reachMustAnalysis(CSolver *solver, OrderGraph *graph, bool computeTransitiveClosure);
 void localMustAnalysisTotal(CSolver *solver, OrderGraph *graph);