From 6238d81cac866ad21a0e1337f9f514489d6398bd Mon Sep 17 00:00:00 2001 From: Kevin Carlson Date: Thu, 10 Oct 2024 18:18:20 -0700 Subject: [PATCH] fix the bug --- src/categorical_algebra/HomSearch.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/categorical_algebra/HomSearch.jl b/src/categorical_algebra/HomSearch.jl index 35737c432..7e8e2dbb8 100644 --- a/src/categorical_algebra/HomSearch.jl +++ b/src/categorical_algebra/HomSearch.jl @@ -264,7 +264,7 @@ function backtracking_search(f, X::ACSet, Y::ACSet; for a_type in attrtypes(S) a_type ∈ (monic ∪ iso ∪ no_bind) && continue # attrvars ↦ attrvars attrs′ = attrs(S, just_names=true, to=a_type) - avars = union(collect.([filter(x->x isa AttrVar, X[f]) for f in attrs′])...) + avars = union(AttrVar[],collect.([filter(x->x isa AttrVar, X[f]) for f in attrs′])...) assigned = partial_assignments(get(initial, a_type, []); is_attr=true) assigned′ = first.(collect(assigned)) unassigned = setdiff(parts(X, a_type), [v.val for v in avars] ∪ assigned′)