diff --git a/gnu/packages/instrumentation.scm b/gnu/packages/instrumentation.scm
index 2db21aef1b..4e23e9bed4 100644
--- a/gnu/packages/instrumentation.scm
+++ b/gnu/packages/instrumentation.scm
@@ -215,7 +215,9 @@ (define-public lttng-ust
                 "1p7d94r275yvby6zqfxaswdl1q46zxbc8x5rkhnjxrp1d41byrsn"))))
     (build-system gnu-build-system)
     (inputs
-     (list liburcu numactl))
+     (list numactl))
+    (propagated-inputs
+     (list liburcu))          ;headers of liburcu are used by headers of lttng
     (native-inputs
      (list python-3 pkg-config))
     (home-page "https://lttng.org/")