cleanup

Author: soulomoon

ghcide/src/Development/IDE/Core/ProgressReporting.hs

@@ -69,7 +69,6 @@ data ProgressReporting (a :: ProgressStateTrackingType) m where
           -- is different from how we use it.
         } -> ProgressReporting 'ProgressStateOutsideTracking m
 
-
 -- |
 -- DuplicatedRecordFields won't work here because of the GADT gives us different result types
 -- we have to manually define the functions `progressStop` and `progressUpdate` for each case
@@ -81,7 +80,6 @@ progressUpdate ProgressReportingInSide {..}  = progressUpdateI
 progressUpdate ProgressReportingOutSide {..} = progressUpdateO
 
 
-
 {- Note [ProgressReporting API and InProgressState]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 The progress of tasks can be tracked in two ways: