diff --git a/search/Levelize.cc b/search/Levelize.cc index 074ec759..9bfdacde 100644 --- a/search/Levelize.cc +++ b/search/Levelize.cc @@ -135,7 +135,7 @@ Levelize::levelize() findRoots(); findBackEdges(); - VertexSeq topo_sorted = findToplologicalOrder(); + VertexSeq topo_sorted = findTopologicalOrder(); assignLevels(topo_sorted); ensureLatchLevels(); @@ -345,7 +345,7 @@ Levelize::findUnvisitedVertices() //////////////////////////////////////////////////////////////// VertexSeq -Levelize::findToplologicalOrder() +Levelize::findTopologicalOrder() { Stats stats(debug_, report_); std::map in_degree; diff --git a/search/Levelize.hh b/search/Levelize.hh index 7a5f8408..a1a9a383 100644 --- a/search/Levelize.hh +++ b/search/Levelize.hh @@ -74,7 +74,7 @@ protected: void levelize(); void findRoots(); VertexSeq sortedRootsWithFanout(); - VertexSeq findToplologicalOrder(); + VertexSeq findTopologicalOrder(); void assignLevels(VertexSeq &topo_sorted); void recordLoop(Edge *edge, EdgeSeq &path);