catlab compatibility

AlgebraicJulia · Dec 7, 2023 · d3ebca8 · d3ebca8
1 parent ed21d2e
commit d3ebca8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/models/ModelInterface.jl b/src/models/ModelInterface.jl
@@ -505,7 +505,7 @@ function make_alias_definitions(theory, theory_module, jltype_by_sort, model_typ
     for binding in segment
       alias = getvalue(binding)
       name = nameof(binding)
-      if alias isa Alias && nameof(alias.ref) ∉ ext_functions
+      if alias isa Alias && name ∉ ext_functions
         for (argsorts, method) in allmethods(theory.resolvers[alias.ref])
           args = [(gensym(), jltype_by_sort[sort]) for sort in argsorts]
           args = if oldinstance

diff --git a/src/nonstdlib/models/Pushouts.jl b/src/nonstdlib/models/Pushouts.jl
@@ -14,7 +14,7 @@ end
 using .ThPushout 
 
 @instance ThPushout{Int, Vector{Int}, PushoutInt} [model::FinSetC] begin
-  @import Ob, Hom, id, compose, dom, codom
+  @import Ob, Hom, id, compose, dom, codom, →, ⋅
   function pushout(sp::Span; context)
     B, C = context[:d], context[:c]
     d = DataStructures.IntDisjointSets(B+C)