diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2025-05-21 05:48:37 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2025-05-21 05:48:37 (GMT) |
commit | c65ccc34b5f3f24cb42858d2930c874d18958886 (patch) | |
tree | f6e0a7a3f44b5ec5ed31224a000a34698ffea2a9 | |
parent | 2921d7d4cbfe20c5e92b0befb6c8c8b33576cf79 (diff) |
Add a missing header when DISCARD_LOCAL is defined.
-rw-r--r-- | plugins/pychrysalide/core-ui.c | 3 |
1 files changed, 3 insertions, 0 deletions
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> |