From c65ccc34b5f3f24cb42858d2930c874d18958886 Mon Sep 17 00:00:00 2001
From: Cyrille Bagard <nocbos@gmail.com>
Date: Wed, 21 May 2025 07:48:37 +0200
Subject: Add a missing header when DISCARD_LOCAL is defined.

---
 plugins/pychrysalide/core-ui.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/plugins/pychrysalide/core-ui.c b/plugins/pychrysalide/core-ui.c
index 0ea15df..00d1cc1 100644
--- a/plugins/pychrysalide/core-ui.c
+++ b/plugins/pychrysalide/core-ui.c
@@ -28,6 +28,9 @@
 
 
 #include <i18n.h>
+#ifdef DISCARD_LOCAL
+#   include <core/paths.h>
+#endif
 #include <plugins/manager-int.h>
 #include <plugins/self.h>
 
-- 
cgit v0.11.2-87-g4458