Move KMeansHelper from liquid-prelude to tests

ucsd-progsys · Nov 15, 2023 · 7b82990 · 7b82990
1 parent dd39638
commit 7b82990
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/liquid-prelude/liquid-prelude.cabal b/liquid-prelude/liquid-prelude.cabal
@@ -25,7 +25,6 @@ library
                     Language.Haskell.Liquid.Equational
                     Language.Haskell.Liquid.Bag
                     Language.Haskell.Liquid.ProofCombinators
-                    KMeansHelper
   hs-source-dirs:     src
   build-depends:      base          < 5
                     , ghc-prim

diff --git a/liquid-prelude/src/KMeansHelper.hs → tests/pos/KMeansHelper.hs b/liquid-prelude/src/KMeansHelper.hs → tests/pos/KMeansHelper.hs
diff --git a/tests/tests.cabal b/tests/tests.cabal
@@ -1901,6 +1901,7 @@ executable unit-pos-2
                     , Ite1
                     , Ite
                     , Jeff
+                    , KMeansHelper
                     , Keys
                     , Kmp
                     , KmpIO
-Original file line number
+Diff line change
@@ Expand Up / @@ -1901,6 +1901,7 @@ executable unit-pos-2 @@
                         , Ite1
                         , Ite
                         , Jeff
+                        , KMeansHelper
                         , Keys
                         , Kmp
                         , KmpIO
@@ Expand Down @@