From fe6ab469e12f48f3ddb948937caa51b254ab2ad9 Mon Sep 17 00:00:00 2001
From: Reuben Gardos Reid <5456207+ReubenJ@users.noreply.github.com>
Date: Mon, 15 Apr 2024 15:30:59 +0200
Subject: [PATCH] `contains_variable_shaped_hole` -> `contains_nonuniform_hole`

---
 src/solver/fixed_shaped_solver/fixed_shaped_solver.jl | 2 +-
 test/test_lessthanorequal.jl                          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/solver/fixed_shaped_solver/fixed_shaped_solver.jl b/src/solver/fixed_shaped_solver/fixed_shaped_solver.jl
index 1e23ec0..d6dea55 100644
--- a/src/solver/fixed_shaped_solver/fixed_shaped_solver.jl
+++ b/src/solver/fixed_shaped_solver/fixed_shaped_solver.jl
@@ -34,7 +34,7 @@ end
     FixedShapedSolver(grammar::AbstractGrammar, fixed_shaped_tree::AbstractRuleNode)
 """
 function FixedShapedSolver(grammar::AbstractGrammar, fixed_shaped_tree::AbstractRuleNode; with_statistics=false, derivation_heuristic=nothing)
-    @assert !contains_variable_shaped_hole(fixed_shaped_tree) "$(fixed_shaped_tree) contains non-uniform holes"
+    @assert !contains_nonuniform_hole(fixed_shaped_tree) "$(fixed_shaped_tree) contains non-uniform holes"
     sm = StateManager()
     tree = StateHole(sm, fixed_shaped_tree)
     unvisited_branches = Stack{Vector{Branch}}()
diff --git a/test/test_lessthanorequal.jl b/test/test_lessthanorequal.jl
index 3315ff1..30be798 100644
--- a/test/test_lessthanorequal.jl
+++ b/test/test_lessthanorequal.jl
@@ -195,7 +195,7 @@ using HerbCore, HerbGrammar
         new_state!(solver, tree)
 
         @test HerbConstraints.make_less_than_or_equal!(solver, left, right) isa HerbConstraints.LessThanOrEqualSuccess
-        @test contains_variable_shaped_hole(get_tree(solver)) == true
+        @test contains_nonuniform_hole(get_tree(solver)) == true
         @test number_of_holes(get_tree(solver)) == 1
     end
 end