Correcting renaming

Herb-AI · Apr 18, 2024 · b8849b4 · b8849b4
1 parent d590aed
commit b8849b4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/patternmatch.jl b/src/patternmatch.jl
@@ -68,8 +68,8 @@ function pattern_match(rns::Vector{AbstractRuleNode}, mns::Vector{AbstractRuleNo
     # Consider two equivalent constraints: 
     #     A) Forbidden(RuleNode(3, [RuleNode(3, [VarNode(:a)])]))
     #     B) Forbidden(RuleNode(3, [RuleNode(3)]))
-    # AbstractConstraint A has the correct arities for rule 3. This is the expected format.
-    # AbstractConstraint B has a more implicit way of saying that the children of the final node don't matter.
+    # Constraint A has the correct arities for rule 3. This is the expected format.
+    # Constraint B has a more implicit way of saying that the children of the final node don't matter.
     # Currently, constraints of type B are not supported, as they might lead into unexpected behavior.
     # Use the following 3 lines if type B should be allowed:
     # if (length(rns) == 0 || length(mns) == 0)

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 AbstractHole)
+            if (new_node.children[i] isa Hole)
                 simplify_hole!(solver, child_path)
             end
         end