From 1432467d74d1103f4ab7fedd3927662950758f43 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Sun, 16 Sep 2018 18:19:39 +0200
Subject: [PATCH] fix: CheckSolution.jl -> checksolution.jl

---
 src/PropertyT.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)