Skip to content

Commit

Permalink
SVF code formatter
Browse files Browse the repository at this point in the history
  • Loading branch information
yuleisui committed May 27, 2024
1 parent 12a92c4 commit c0c3dc3
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions svf/include/Graphs/WTO.h
Original file line number Diff line number Diff line change
Expand Up @@ -415,7 +415,8 @@ template <typename GraphT> class WTOCycle final : public WTOComponent<GraphT>
}

/// Get all wto components in WTO cycle
const WTOComponentRefList& getWTOComponents() const {
const WTOComponentRefList& getWTOComponents() const
{
return _components;
}

Expand Down Expand Up @@ -585,7 +586,8 @@ template <typename GraphT> class WTO
}

/// Get all wto components in WTO
const WTOComponentRefList& getWTOComponents() const {
const WTOComponentRefList& getWTOComponents() const
{
return _components;
}

Expand Down

0 comments on commit c0c3dc3

Please sign in to comment.