@@ -5,7 +5,7 @@
6module NoTypecheckTest where
6module NoTypecheckTest where
8−import Aux
8+import Auxiliary
9import GHC.Generics (Generic)
9import GHC.Generics (Generic)
10import Test.QuickCheck
10import Test.QuickCheck
11import Test.QuickCheck.Arbitrary.Generic
11import Test.QuickCheck.Arbitrary.Generic