From dfade61601de75a143d702bd9a8b5d18d11b6d98 Mon Sep 17 00:00:00 2001 From: Phil Miller Date: Wed, 6 May 2020 10:28:53 -0600 Subject: [PATCH] #708: Add in a newly-missing header --- src/vt/collective/collective_scope.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vt/collective/collective_scope.cc b/src/vt/collective/collective_scope.cc index 9e689cf35f..e634dff534 100644 --- a/src/vt/collective/collective_scope.cc +++ b/src/vt/collective/collective_scope.cc @@ -48,6 +48,7 @@ #include "vt/config.h" #include "vt/collective/collective_scope.h" #include "vt/collective/collective_alg.h" +#include "vt/pipe/pipe_manager.h" namespace vt { namespace collective {