From 9050441d922dbc7a2be7c7063684dcd21e8a883c Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Sun, 22 Sep 2024 12:32:14 -0700 Subject: [PATCH] remove stray line --- sbv.cabal | 1 - 1 file changed, 1 deletion(-) diff --git a/sbv.cabal b/sbv.cabal index 47531be16..8fd44d5f8 100644 --- 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