Fixed getArgs error when compiling with GHC 7+

1 files changed, 1 insertions, 1 deletions

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