From b2f4f3881d89e24b781033b5dff1864e0bcfca0c Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 21 Jun 2021 18:00:01 +0200
Subject: [PATCH] add missing import
---
src/dummy_pick_place.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/dummy_pick_place.cpp b/src/dummy_pick_place.cpp
index b4ada05..3baaa95 100644
--- a/src/dummy_pick_place.cpp
+++ b/src/dummy_pick_place.cpp
@@ -14,6 +14,7 @@
#include <google/protobuf/text_format.h>
#include <random>
+#include <optional>
#include "connector.pb.h"
@@ -202,4 +203,4 @@ int main(int argc, char **argv) {
}
return 0;
-}
\ No newline at end of file
+}
--
GitLab