From 1b378ed41fe2882b45ee9a4f65eb842e223f974a Mon Sep 17 00:00:00 2001 From: Mark Shinwell Date: Thu, 2 Nov 2023 16:50:53 +0000 Subject: [PATCH] flambda-backend: stdlib/.depend --- stdlib/.depend | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/stdlib/.depend b/stdlib/.depend index 261545d5a15..7d668ed6eb8 100644 --- a/stdlib/.depend +++ b/stdlib/.depend @@ -130,8 +130,11 @@ stdlib__Callback.cmx : callback.ml \ stdlib__Callback.cmi stdlib__Callback.cmi : callback.mli \ stdlib.cmi -camlinternalAtomic.cmo : -camlinternalAtomic.cmx : +camlinternalAtomic.cmo : \ + camlinternalAtomic.cmi +camlinternalAtomic.cmx : \ + camlinternalAtomic.cmi +camlinternalAtomic.cmi : camlinternalComprehension.cmo : \ stdlib.cmi \ camlinternalComprehension.cmi