POMDPs.requirements_info -> POMDPLinter.requirements_info (#36)

JuliaPOMDP · Oct 24, 2023 · 97b2f47 · 97b2f47
1 parent c6057c8
commit 97b2f47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/requirements_info.jl b/src/requirements_info.jl
@@ -12,7 +12,7 @@ function POMDPLinter.requirements_info(solver::AbstractPOMCPSolver, problem::POM
     requirements_info(policy, b)
 end
 
-POMDPs.requirements_info(policy::POMCPPlanner, b) = @show_requirements action(policy, b)
+POMDPLinter.requirements_info(policy::POMCPPlanner, b) = @show_requirements action(policy, b)
 
 @POMDP_require action(p::POMCPPlanner, b) begin
     tree = POMCPTree(p.problem, b, p.solver.tree_queries)