From 5bfc246b021c29ff070ca981082dc6191031f75c Mon Sep 17 00:00:00 2001 From: Penelope Yong Date: Tue, 6 Aug 2024 12:52:31 +0100 Subject: [PATCH] Add one more annotation --- src/context_implementations.jl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/context_implementations.jl b/src/context_implementations.jl index f5090c007..9fcd2e310 100644 --- a/src/context_implementations.jl +++ b/src/context_implementations.jl @@ -315,7 +315,9 @@ function dot_tilde_assume(::IsParent, rng, context::AbstractContext, args...) return dot_tilde_assume(rng, childcontext(context), args...) end -function dot_tilde_assume(rng, ::DefaultContext, sampler, right, left, vns, vi) +function dot_tilde_assume( + rng::Random.AbstractRNG, ::DefaultContext, sampler, right, left, vns, vi +) return dot_assume(rng, sampler, right, vns, left, vi) end