Skip to content

Commit aab893b

Browse files
Update include/phasar/Utils/GraphExtensions.h
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
1 parent d6928af commit aab893b

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

include/phasar/Utils/GraphExtensions.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,8 +73,8 @@ void mergeByStitching(GraphTy &Graph1, const GraphTy &Graph2,
7373
template <typename GraphTy, typename VertexTy, typename EdgeProperty,
7474
typename... Args>
7575
void mergeGraphs(GraphTy &Graph1, const GraphTy &Graph2,
76-
std::vector<std::pair<VertexTy, VertexTy>> VInG1UInG2,
77-
Args &&...Arguments) {
76+
std::vector<std::pair<VertexTy, VertexTy>> VInG1UInG2,
77+
Args &&...Arguments) {
7878
using index_map_t =
7979
typename boost::property_map<GraphTy, boost::vertex_index_t>::type;
8080
// for simple adjacency_list<> this type would be more efficient:

0 commit comments

Comments
 (0)