From ae0f988490cde70c097a8b04b85cb68e67ace0d6 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 9 Aug 2012 10:00:00 +1000
Subject: Fixed getArgs error when compiling with GHC 7+

---
 ListThm.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ListThm.hs')

diff --git a/ListThm.hs b/ListThm.hs
index a7098b4..3b179dd 100644
--- a/ListThm.hs
+++ b/ListThm.hs
@@ -1,4 +1,4 @@
-import System( getArgs )
+import System.Environment( getArgs )
 import Text.Printf
 import Parse
 import ProofGraph
-- 
cgit