diff --git a/src/Decapodes.jl b/src/Decapodes.jl index 303d756b..721aaa72 100644 --- a/src/Decapodes.jl +++ b/src/Decapodes.jl @@ -2,7 +2,6 @@ module Decapodes using Catlab using Catlab.Theories -import Catlab.Theories: otimes, oplus, compose, ⊗, ⊕, ⋅, associate, associate_unit, Ob, Hom, dom, codom using Catlab.Programs using Catlab.CategoricalAlgebra using Catlab.WiringDiagrams diff --git a/test/diag2dwd.jl b/test/diag2dwd.jl index e79854e6..abc58768 100644 --- a/test/diag2dwd.jl +++ b/test/diag2dwd.jl @@ -1,7 +1,6 @@ using Test using Catlab using Catlab.Theories -import Catlab.Theories: otimes, oplus, compose, ⊗, ⊕, ⋅, associate, associate_unit, Ob, Hom, dom, codom using Catlab.CategoricalAlgebra using Catlab.WiringDiagrams using Catlab.WiringDiagrams.DirectedWiringDiagrams