summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Concat.hs2
-rw-r--r--Delete.hs2
-rw-r--r--ListThm.hs2
-rw-r--r--ProofGraphMain.hs2
-rw-r--r--SemanticMain.hs2
-rw-r--r--Syntactic.hs2
-rw-r--r--WriteProofMain.hs2
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