Fix Haddock errors

ttuegel · ttuegel · commit 857e5ec969ef · 2021-03-10T16:09:15.000-06:00
diff --git a/kore/test/Driver.hs b/kore/test/Driver.hs
@@ -1,6 +1,6 @@
 {-# OPTIONS_GHC -F -pgmF tasty-discover -optF --tree-display -optF --hide-successes -optF --ingredient=Test.Tasty.Runners.Reporter.ingredient -optF --ingredient=Test.Tasty.Runners.listingTests -optF --generated-module=Driver #-}
 
-{- |
+{-
 
 * Debugging
 

-Original file line number
+Diff line change
@@ @@ -1,6 +1,6 @@ @@
 {-# OPTIONS_GHC -F -pgmF tasty-discover -optF --tree-display -optF --hide-successes -optF --ingredient=Test.Tasty.Runners.Reporter.ingredient -optF --ingredient=Test.Tasty.Runners.listingTests -optF --generated-module=Driver #-}
 -{- |
 +{-
 * Debugging