From 306ef4be33f5ee9a10f0971951ad5bbba1621534 Mon Sep 17 00:00:00 2001
From: Niklas Eiling <niklas.eiling@eonerc.rwth-aachen.de>
Date: Wed, 24 Oct 2018 10:19:39 -0400
Subject: [PATCH] config: make using config_helper work also when libconfig was
 found

---
 lib/super_node.c    | 1 +
 tools/conf2json.cpp | 1 +
 2 files changed, 2 insertions(+)

diff --git a/lib/super_node.c b/lib/super_node.c
index 022ea56f8..98f84d010 100644
--- a/lib/super_node.c
+++ b/lib/super_node.c
@@ -39,6 +39,7 @@
 #include <villas/plugin.h>
 #include <villas/memory.h>
 #include <villas/config.h>
+#include <villas/config_helper.h>
 
 #include <villas/kernel/rt.h>
 
diff --git a/tools/conf2json.cpp b/tools/conf2json.cpp
index 1a6a4e275..e5764be4b 100644
--- a/tools/conf2json.cpp
+++ b/tools/conf2json.cpp
@@ -25,6 +25,7 @@
 #include <jansson.h>
 #include <libconfig.h>
 
+#include <villas/config.h>
 #include <villas/config_helper.h>
 #include <villas/utils.h>