1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-22 16:05:27 +01:00

fix: CheckSolution.jl -> checksolution.jl

This commit is contained in:
kalmarek 2018-09-16 18:19:39 +02:00
parent 6b886d35b9
commit 1432467d74

View File

@ -131,7 +131,7 @@ include("laplacians.jl")
include("RGprojections.jl") include("RGprojections.jl")
include("orbitdata.jl") include("orbitdata.jl")
include("sos_sdps.jl") include("sos_sdps.jl")
include("CheckSolution.jl") include("checksolution.jl")
end # module Property(T) end # module Property(T)