Correcting renaming. Uniform holes can also be simplified to rule nodes.

Herb-AI · Apr 25, 2024 · 3fd7978 · 3fd7978
1 parent f8ce924
commit 3fd7978
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solver/generic_solver/treemanipulations.jl b/src/solver/generic_solver/treemanipulations.jl
@@ -250,7 +250,7 @@ function simplify_hole!(solver::GenericSolver, path::Vector{Int})
         for i ∈ 1:length(new_node.children)
             # try to simplify the new children
             child_path = push!(copy(path), i)
-            if (new_node.children[i] isa Hole)
+            if (new_node.children[i] isa AbstractHole)
                 simplify_hole!(solver, child_path)
             end
         end