[ fix ] CI

Author: GulinSS

src/Compiler/CompileExpr.idr

@@ -14,14 +14,14 @@ import Core.Value
 
 import Data.List
 import Data.SnocList
-import Data.SnocList.HasLength
 import Data.SnocList.Quantifiers
 import Data.Maybe
 import Data.Vect
 
 import Libraries.Data.List.SizeOf
 import Libraries.Data.SnocList.SizeOf
 import Libraries.Data.SnocList.Extra
+import Libraries.Data.SnocList.HasLength
 
 %default covering