Remove unnecessary what4 flags from freeze file

GaloisInc · Jul 30, 2021 · 888a45d · 888a45d
1 parent b184e33
commit 888a45d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/cabal.GHC-8.10.4.config b/cabal.GHC-8.10.4.config
@@ -363,7 +363,6 @@ constraints: any.Cabal ==3.2.1.0,
              any.wcwidth ==0.0.2,
              wcwidth -cli +split-base,
              any.weigh ==0.0.16,
-             what4 -drealtestdisable -solvertests -stptestdisable,
              any.wl-pprint-annotated ==0.1.0.1,
              any.word8 ==0.1.3,
              any.x509 ==1.7.5,