From 377db124e95a72bf2b374efa1095adee084ac30e Mon Sep 17 00:00:00 2001 From: Steffen Vogel Date: Thu, 11 Jun 2020 23:55:58 +0200 Subject: [PATCH] graph: make dump() use const CV --- common/include/villas/graph/directed.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/include/villas/graph/directed.hpp b/common/include/villas/graph/directed.hpp index 19c4871c3..89633c889 100644 --- a/common/include/villas/graph/directed.hpp +++ b/common/include/villas/graph/directed.hpp @@ -242,7 +242,7 @@ public: return false; } - void dump(const std::string& fileName = "") + void dump(const std::string& fileName = "") const { logger->info("Vertices:"); for (auto& v : vertices) {