From 643ce293660d334a0e507b18c121e8b3995ee79d Mon Sep 17 00:00:00 2001 From: Romain Beauxis Date: Thu, 31 Oct 2024 10:09:34 -0500 Subject: [PATCH] Prevent error here. --- src/core/clock.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/clock.ml b/src/core/clock.ml index 36ff5d4393..4050dac02f 100644 --- a/src/core/clock.ml +++ b/src/core/clock.ml @@ -212,7 +212,7 @@ let _sync ?(pending = false) x = | `Started { sync } -> (sync :> sync_mode) let sync c = _sync (Unifier.deref c) -let cleanup_source s = s#force_sleep +let cleanup_source s = try s#force_sleep with _ -> () let clocks = Queue.create () let rec _cleanup ~clock { outputs; passive_sources; active_sources } =