Update .ghci

dmjio · Nov 29, 2024 · 0504187 · 0504187
1 parent 2b548d4
commit 0504187
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.ghci b/.ghci
@@ -1,4 +1,3 @@
 :set prompt ">>> "
 :set prompt2 "... "
 :set -isrc
-:set -ighc-src