disable tactic with flag

jneira · web-flow · commit dc6f67b76065 · 2022-01-20T06:41:58.000+01:00
diff --git a/stack-9.2.1.yaml b/stack-9.2.1.yaml
@@ -120,6 +120,7 @@ flags:
     retrie: false
     splice: false
     stylishhaskell: false
+    tactic:false
 
   retrie:
     BuildExecutable: false
