Add one more annotation

TuringLang · Aug 6, 2024 · 5bfc246 · 5bfc246
1 parent fbe0d30
commit 5bfc246
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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