Merge pull request #943 from AlgebraicJulia/julia-v1.11

Fixes for Julia v1.11
AlgebraicJulia · Oct 11, 2024 · 351b804 · 351b804
2 parents 982ea6e + bb03a3b
commit 351b804
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/categorical_algebra/CSets.jl b/src/categorical_algebra/CSets.jl
@@ -835,12 +835,12 @@ the combinatorial part of the limit legs. The type components of the j'th leg of
 the limit is just the j'th cartesian projection.
 """
 function limit(::Type{Tuple{ACS,Hom}}, diagram; product_attrs::Bool=false) where
-    {S, Ts, ACS <: StructACSet{S,Ts}, Hom <: LooseACSetTransformation}
+    {S, ACS <: StructACSet{S}, Hom <: LooseACSetTransformation}
   limits = map(limit, unpack_diagram(diagram, S=S, all=!product_attrs))
   Xs = cone_objects(diagram)
 
   attr_lims = (product_attrs ?
-    map(limit, unpack_diagram(DiscreteDiagram(Xs, Hom), S=S,Ts=Ts,all=true)) : limits )
+    map(limit, unpack_diagram(DiscreteDiagram(Xs, Hom), S=S, all=true)) : limits )
 
   LimitACS = if isempty(attrtypes(S)); ACS
   else

diff --git a/test/categorical_algebra/HomSearch.jl b/test/categorical_algebra/HomSearch.jl
@@ -7,7 +7,7 @@ using Random: seed!
 # Setup
 #######
 
-seed!(100)
+seed!(10)
 
 @present SchSetAttr(FreeSchema) begin
   X::Ob