Fixed getArgs error when compiling with GHC 7+

7 files changed, 7 insertions, 7 deletions

diff --git a/Concat.hs b/Concat.hs
index f822bcf..c10301a 100644
--- a/Concat.hs
+++ b/Concat.hs
@@ -1,4 +1,4 @@
-import System( getArgs )
+import System.Environment( getArgs )
 import Text.Printf
 import Parse
 import ProofGraph
diff --git a/Delete.hs b/Delete.hs
index 9f94ee6..58e29cc 100644
--- a/Delete.hs
+++ b/Delete.hs
@@ -1,4 +1,4 @@
-import System( getArgs )
+import System.Environment( getArgs )
 import Text.Printf
 import Parse
 import ProofGraph
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
diff --git a/ProofGraphMain.hs b/ProofGraphMain.hs
index abd7a56..514dbc3 100644
--- a/ProofGraphMain.hs
+++ b/ProofGraphMain.hs
@@ -1,4 +1,4 @@
-import System( getArgs )
+import System.Environment( getArgs )
 import Text.Printf
 import Parse
 import ProofGraph
diff --git a/SemanticMain.hs b/SemanticMain.hs
index 61ba16d..74c7c3b 100644
--- a/SemanticMain.hs
+++ b/SemanticMain.hs
@@ -1,4 +1,4 @@
-import System( getArgs )
+import System.Environment( getArgs )
 import Text.Printf
 import Parse
 import Semantic
diff --git a/Syntactic.hs b/Syntactic.hs
index fb629ba..6ce8561 100644
--- a/Syntactic.hs
+++ b/Syntactic.hs
@@ -1,4 +1,4 @@
-import System( getArgs )
+import System.Environment( getArgs )
 import Text.Printf
 import Parse
 
diff --git a/WriteProofMain.hs b/WriteProofMain.hs
index 565aad2..0e8d9c6 100644
--- a/WriteProofMain.hs
+++ b/WriteProofMain.hs
@@ -1,4 +1,4 @@
-import System( getArgs )
+import System.Environment( getArgs )
 import Text.Printf
 import Parse
 import ProofGraph