From abe93251ba4788b2535f781784e1bb62cfd51e9c Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 24 Apr 2002 09:42:18 +0000
Subject: [PATCH] [project @ 2002-04-24 09:42:18 by simonmar] There's no gmp
 package these days

---
 ghc/compiler/ghci/InteractiveUI.hs |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ghc/compiler/ghci/InteractiveUI.hs b/ghc/compiler/ghci/InteractiveUI.hs
index 87b19ea..8d3bd96 100644
--- a/ghc/compiler/ghci/InteractiveUI.hs
+++ b/ghc/compiler/ghci/InteractiveUI.hs
@@ -1,6 +1,6 @@
 {-# OPTIONS -#include "Linker.h" -#include "SchedAPI.h" #-}
 -----------------------------------------------------------------------------
--- $Id: InteractiveUI.hs,v 1.120 2002/04/18 11:27:59 simonmar Exp $
+-- $Id: InteractiveUI.hs,v 1.121 2002/04/24 09:42:18 simonmar Exp $
 --
 -- GHC Interactive User Interface
 --
@@ -1063,7 +1063,7 @@ linkPackages dflags cmdline_lib_specs pkgs
 
 -- Packages that don't need loading, because the compiler shares them with
 -- the interpreted program.
-dont_load_these = [ "gmp", "rts" ]
+dont_load_these = [ "rts" ]
 
 -- Packages that are already linked into GHCi.  For mingw32, we only
 -- skip gmp and rts, since std and after need to load the msvcrt.dll
-- 
1.7.10.4