Merge pull request #679 from kris-brown/no_hom_schema

Small fix for Presentation -> SchemaDesc function
AlgebraicJulia · Sep 26, 2022 · a8fc062 · a8fc062
2 parents 09ef64a + e913dff
commit a8fc062
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/theories/Schema.jl b/src/theories/Schema.jl
@@ -163,8 +163,8 @@ function SchemaDesc(p::Presentation)
   obs,homs,attrtypes,attrs = map(t -> p.generators[t],[:Ob,:Hom,:AttrType,:Attr])
   ob_syms,hom_syms,attrtype_syms,attr_syms = map(xs -> Symbol[nameof.(xs)...],
                                                  [obs,homs,attrtypes,attrs])
-  doms = Dict(nameof(f) => nameof(dom(f)) for f in [homs; attrs])
-  codoms = Dict(nameof(f) => nameof(codom(f)) for f in [homs; attrs])
+  doms = Dict{Symbol,Symbol}(nameof(f) => nameof(dom(f)) for f in [homs; attrs])
+  codoms = Dict{Symbol,Symbol}(nameof(f) => nameof(codom(f)) for f in [homs; attrs])
   SchemaDesc(ob_syms, hom_syms, attrtype_syms, attr_syms, doms, codoms)
 end