Skip to content

Commit 5c7a156

Browse files
committed
Add missing tilde_observe!! for InitContext
1 parent 947f4de commit 5c7a156

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/contexts/init.jl

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -165,6 +165,10 @@ function tilde_assume(
165165
return x, vi
166166
end
167167

168+
function tilde_observe!!(::InitContext, right, left, vn, vi)
169+
return tilde_observe!!(DefaultContext(), right, left, vn, vi)
170+
end
171+
168172
# """
169173
# set_initial_values(varinfo::AbstractVarInfo, initial_params::AbstractVector)
170174
# set_initial_values(varinfo::AbstractVarInfo, initial_params::NamedTuple)

0 commit comments

Comments
 (0)