Remove "destruct globals" broken tactic test

jneira · jneira · commit 66bb8e68ae56 · 2020-09-28T21:16:05.000+02:00
diff --git a/test/functional/Tactic.hs b/test/functional/Tactic.hs
@@ -58,11 +58,6 @@ tests = testGroup
       [ (id, Destruct, "eab")
       , (id, Homomorphism, "eab")
       ]
-  , mkTest
-      "Can destruct globals"
-      "T2.hs" 8 8
-      [ (id, Destruct, "global")
-      ]
   , mkTest
       "Won't suggest homomorphism on the wrong type"
       "T2.hs" 8 8
