From f2bd3d1be718551d9ed19c42ca84809ba8efdcc2 Mon Sep 17 00:00:00 2001 From: Anthony Eden Date: Tue, 11 Dec 2018 15:10:09 -0500 Subject: [PATCH] couldn't infer unused template argument --- include/boost/graph/copy.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/boost/graph/copy.hpp b/include/boost/graph/copy.hpp index 6246ebce..77aebcde 100644 --- a/include/boost/graph/copy.hpp +++ b/include/boost/graph/copy.hpp @@ -395,7 +395,7 @@ namespace boost { CopyVertex cv, CopyEdge ce) : g_out(graph), orig2copy(c), copy_vertex(cv), copy_edge(ce) { } - template + template typename graph_traits::vertex_descriptor copy_one_vertex(Vertex u) const { typename graph_traits::vertex_descriptor new_u = add_vertex(g_out);