parts -> maxpart

AlgebraicJulia · Feb 7, 2024 · 7ff3971 · 7ff3971
1 parent 98f12ee
commit 7ff3971
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/categorical_algebra/HomSearch.jl b/src/categorical_algebra/HomSearch.jl
@@ -234,7 +234,7 @@ function backtracking_search(f, X::ACSet, Y::ACSet;
   end
 
   pred_nt = NamedTuple{Ob}(let dic = get(predicates, c, Dict()); 
-    Union{Set{Int}, Nothing}[haskey(dic, p) ? Set(dic[p]) : nothing for p in parts(X,c)] 
+    Union{Set{Int}, Nothing}[haskey(dic, p) ? Set(dic[p]) : nothing for p in 1:maxpart(X,c)] 
   end for c in Ob)
 
   # Initialize state variables for search.