From 5771700610196202058c9cacd327837c51765106 Mon Sep 17 00:00:00 2001 From: zeme-wana <15709674+zeme-wana@users.noreply.github.com> Date: Wed, 22 May 2024 14:18:49 +0200 Subject: [PATCH] Remove obsolete defer-plugin-errors flag (#6080) --- doc/read-the-docs-site/plutus-doc.cabal | 9 --------- 1 file changed, 9 deletions(-) diff --git a/doc/read-the-docs-site/plutus-doc.cabal b/doc/read-the-docs-site/plutus-doc.cabal index 1c31b3d75b1..86f51515c0c 100644 --- a/doc/read-the-docs-site/plutus-doc.cabal +++ b/doc/read-the-docs-site/plutus-doc.cabal @@ -17,13 +17,6 @@ source-repository head type: git location: https://github.com/IntersectMBO/plutus -flag defer-plugin-errors - description: - Defer errors from the plugin, useful for things like Haddock that can't handle it. - - default: False - manual: True - common lang default-language: Haskell2010 default-extensions: @@ -47,8 +40,6 @@ common lang -fobject-code -fno-ignore-interface-pragmas -fno-omit-interface-pragmas - if flag(defer-plugin-errors) - common ghc-version-support -- See the section on GHC versions in CONTRIBUTING if (impl(ghc <9.6) || impl(ghc >=9.7))