From fc98460e36f56474d20e6911b80606513d47ad49 Mon Sep 17 00:00:00 2001 From: Whebon Date: Thu, 9 May 2024 14:18:34 +0200 Subject: [PATCH] Fix a bug when trying to make 2 holes equal --- src/makeequal.jl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/makeequal.jl b/src/makeequal.jl index 025f763..b58308c 100644 --- a/src/makeequal.jl +++ b/src/makeequal.jl @@ -87,10 +87,11 @@ function make_equal!( if length(rules) == 0 return MakeEqualHardFail() elseif length(rules) == 1 + rule = rules[1] path1 = get_path(solver, hole1) path2 = get_path(solver, hole2) - remove_all_but!(solver, path1, rules[1]) - remove_all_but!(solver, path2, rules[2]) + remove_all_but!(solver, path1, rule) + remove_all_but!(solver, path2, rule) hole1 = get_node_at_location(solver, path1) hole2 = get_node_at_location(solver, path2) else