remove stray line

LeventErkok · Sep 22, 2024 · 9050441 · 9050441
1 parent 46732ee
commit 9050441
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/sbv.cabal b/sbv.cabal
@@ -159,7 +159,6 @@ Library
                   , Documentation.SBV.Examples.KnuckleDragger.CaseSplit
                   , Documentation.SBV.Examples.KnuckleDragger.Kleene
                   , Documentation.SBV.Examples.KnuckleDragger.Induction
-                  , Documentation.SBV.Examples.KnuckleDragger.InsertionSort
                   , Documentation.SBV.Examples.KnuckleDragger.ListLen
                   , Documentation.SBV.Examples.KnuckleDragger.RevLen
                   , Documentation.SBV.Examples.KnuckleDragger.Sqrt2IsIrrational