fix the bug

AlgebraicJulia · Oct 11, 2024 · 6238d81 · 6238d81
1 parent 351b804
commit 6238d81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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′)