Add Paths_ghcide, fixes a warning (#117)
commit32a049cc4c61961088cdd74ea0ebaa9d4ce596ff
authorNeil Mitchell <ndmitchell@gmail.com>
dateMon 23 Sep 2019, 23:09 (7 years ago)
parent0fa86f2
ghcide.cabal+1
@@ -154,6 +154,7 @@ executable ghcide
154154 text
155155 other-modules:
156156 Arguments
157+ Paths_ghcide
157158
158159 default-extensions:
159160 RecordWildCards