From 818ea19f05ad61bcefce8b779dd8608021823b58 Mon Sep 17 00:00:00 2001 From: Anar Manafov Date: Tue, 3 Sep 2024 10:57:53 +0200 Subject: [PATCH] Fix missing header. --- dds-commander/src/main.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/dds-commander/src/main.cpp b/dds-commander/src/main.cpp index b8f2216a..9b445898 100644 --- a/dds-commander/src/main.cpp +++ b/dds-commander/src/main.cpp @@ -11,6 +11,7 @@ // BOOST #include #include +#include // protobuf #include "submit_info.pb.h" #include "submit_info_slurm.pb.h"