Use adapted version of ghcide

jneira · jneira · commit e39cb0afb745 · 2020-04-18T19:37:31.000+02:00
diff --git a/ghcide b/ghcide
@@ -1 +1 @@
-Subproject commit 74311d255cc4a804de6ec69e6db4c13851c108f1
+Subproject commit dc494d863fcce34863832f2cdb10c923e20a76b6
