From ffc3060e0b182114c55d5ebc366017baadc310e7 Mon Sep 17 00:00:00 2001
From: Javier Neira <atreyu.bbb@gmail.com>
Date: Fri, 23 Oct 2020 08:43:02 +0200
Subject: [PATCH] Add missing tactic subpackage

---
 stack.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/stack.yaml b/stack.yaml
index 1a0b67c2b2..93a47a3472 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -4,6 +4,7 @@ packages:
 - .
 - ./ghcide/
 - ./hls-plugin-api
+- ./plugins/tactics
 
 ghc-options:
   "$everything": -haddock