Merge remote-tracking branch 'refs/remotes/joelberkeley/sortedset' into main

Author: madman-bob

Idris2Python/Idris2Python/ModuleTemplate.idr

@@ -1,20 +1,20 @@
 module Idris2Python.ModuleTemplate
 
 import Data.List
+import Data.SortedSet
 import Data.String
 
 import Core.Core
 import Core.Name
 
 import System.File
 
-import Libraries.Data.SortedSet
 import Libraries.Utils.Path
 
 import Idris2Python.PythonFFI
 
 unique : Ord a => List a -> List a
-unique = SortedSet.toList . fromList
+unique = Prelude.toList . fromList
 
 copyFile' : HasIO io
          => (sourcePath : String)