Skip to content

Commit 7488238

Browse files
committed
fixed incorrect implementation of dot_tilde_assume for PrefixContext
1 parent 18af48a commit 7488238

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/context_implementations.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -402,12 +402,12 @@ end
402402

403403
# `PrefixContext`
404404
function dot_tilde_assume(context::PrefixContext, right, left, vn, vi)
405-
return dot_tilde_assume(context.context, right, prefix.(Ref(context), vn), vi)
405+
return dot_tilde_assume(context.context, right, left, prefix.(Ref(context), vn), vi)
406406
end
407407

408408
function dot_tilde_assume(rng, context::PrefixContext, sampler, right, left, vn, vi)
409409
return dot_tilde_assume(
410-
rng, context.context, sampler, right, prefix.(Ref(context), vn), vi
410+
rng, context.context, sampler, right, left, prefix.(Ref(context), vn), vi
411411
)
412412
end
413413

0 commit comments

Comments
 (0)