Update printWarning

ucsd-progsys · Nov 2, 2023 · 71f9b79 · 71f9b79
1 parent 69361af
commit 71f9b79
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs
@@ -1995,8 +1995,8 @@ allErrors = dErrors
 -- | Printing Warnings ---------------------------------------------------------
 --------------------------------------------------------------------------------
 
-printWarning :: Logger -> DynFlags -> Warning -> IO ()
-printWarning logger dyn (Warning srcSpan doc) = GHC.putWarnMsg logger dyn srcSpan doc
+printWarning :: Logger -> Warning -> IO ()
+printWarning logger (Warning srcSpan doc) = GHC.putWarnMsg logger srcSpan doc
 
 --------------------------------------------------------------------------------
 -- | Error Data Type -----------------------------------------------------------