Skip to content

Commit

Permalink
Fix a bug when trying to make 2 holes equal
Browse files Browse the repository at this point in the history
  • Loading branch information
Whebon committed May 9, 2024
1 parent a5c7d27 commit fc98460
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions src/makeequal.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit fc98460

Please sign in to comment.