1 files changed, 0 insertions, 5 deletions
diff --git a/ghci b/ghci
deleted file mode 100755
index d25519e3c..000000000
--- a/ghci
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-# This runs ghci with the same flags used when compiling with ghc.
-# Certian flags need to be the same in order for ghci to reuse compiled
-# objects.
-ghci $(make getflags | sed 's/-Wall//') $@