diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index a7cac65..89f5fd1 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -131,7 +131,7 @@ include("laplacians.jl")
 include("RGprojections.jl")
 include("orbitdata.jl")
 include("sos_sdps.jl")
-include("CheckSolution.jl")
+include("checksolution.jl")
 
 
 end # module Property(T)