Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
willow-ahrens committed Nov 27, 2024
1 parent 0be91a8 commit d06b4b1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/scheduler/LogicExecutor.jl
Original file line number Diff line number Diff line change
Expand Up @@ -67,8 +67,8 @@ Base.:(==)(a::LogicExecutor, b::LogicExecutor) = a.ctx == b.ctx && a.verbose ==
Base.hash(a::LogicExecutor, h::UInt) = hash(LogicExecutor, hash(a.ctx, hash(a.verbose, h)))

LogicExecutor(ctx; tag = :global, verbose = false) = LogicExecutor(ctx, tag, verbose)
function set_options(ctx::LogicExecutor; verbose = ctx.verbose, kwargs...)
LogicExecutor(set_options(ctx.ctx; kwargs...), verbose)
function set_options(ctx::LogicExecutor; tag = ctx.tag, verbose = ctx.verbose, kwargs...)
LogicExecutor(set_options(ctx.ctx; kwargs...), tag, verbose)
end

codes = Dict()
Expand Down

0 comments on commit d06b4b1

Please sign in to comment.