From a0ac87858fe18dd6186177a0e4ba285ffd8628c3 Mon Sep 17 00:00:00 2001
From: Sebastian Graf <sebastian.graf@kit.edu>
Date: Sun, 1 Oct 2023 14:53:53 +0200
Subject: [PATCH] Fix restarts in .ghcid

Using the whole of `hadrian/` restarted in a loop for me.
---
 .ghcid | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ghcid b/.ghcid
index 966e6f5b0fa7..a601e086f0f4 100644
--- a/.ghcid
+++ b/.ghcid
@@ -2,4 +2,4 @@
 --reload compiler
 --reload ghc
 --reload includes
---restart hadrian/
+--restart hadrian/ghci
-- 
GitLab