From f195eeac66ec210bf7438eb529b3255d4ff86b86 Mon Sep 17 00:00:00 2001
From: Dennis Klein <d.klein@gsi.de>
Date: Fri, 13 Dec 2019 12:27:04 +0100
Subject: [PATCH] Silence warning: unused variable 'a' [-Wunused-variable]

---
 fairmq/sdk/DDSSession.cxx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/fairmq/sdk/DDSSession.cxx b/fairmq/sdk/DDSSession.cxx
index a4866cd4..3af81d20 100644
--- a/fairmq/sdk/DDSSession.cxx
+++ b/fairmq/sdk/DDSSession.cxx
@@ -254,6 +254,7 @@ auto DDSSession::RequestTaskInfo() -> std::vector<DDSTask>
     taskInfo.reserve(res.size());
     for (auto& a : res) {
         //taskInfo.emplace_back(a.m_taskID, 0);
+        (void)a;
         taskInfo.emplace_back(0, 0);
     }