--- Infer2.hs.orig	2007-06-12 16:20:14.000000000 -0600
+++ Infer2.hs	2009-01-20 18:12:51.000000000 -0700
@@ -67,7 +67,7 @@
 import SCC(topSortR)
 import Cooper(Formula(TrueF,FalseF),Fol,Term,toFormula,integer_qelim,Formula)
 
-import qualified System.Console.Readline as Readline
+import qualified System.Console.Editline.Readline as Readline
 
 import qualified Data.Map as Map
    -- (Map,empty,member,insertWith,union  ,fromList,toList,lookup)