From 940c535ab957c82b8ac3d1121f46304116079774 Mon Sep 17 00:00:00 2001
From: Sandy Maguire <sandy@sandymaguire.me>
Date: Tue, 20 Jul 2021 22:48:49 -0700
Subject: [PATCH] Unset dynflags rather than change their values

---
 plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs b/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs
index 03140cfeef..b2600906a1 100644
--- a/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs
+++ b/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs
@@ -20,15 +20,11 @@ staticPlugin = mempty
   { dynFlagsModifyGlobal =
       \df -> allowEmptyCaseButWithWarning
            $ flip gopt_unset Opt_SortBySubsumHoleFits
+           $ flip gopt_unset Opt_ShowValidHoleFits
            $ df
-             { refLevelHoleFits = Just 0
-             , maxRefHoleFits   = Just 0
-             , maxValidHoleFits = Just 0
 #if __GLASGOW_HASKELL__ >= 808
-             , staticPlugins = staticPlugins df <> [metaprogrammingPlugin]
-#endif
+             { staticPlugins = staticPlugins df <> [metaprogrammingPlugin]
              }
-#if __GLASGOW_HASKELL__ >= 808
   , dynFlagsModifyParser = enableQuasiQuotes
 #endif
   }