diff options
| -rw-r--r-- | Concat.hs | 2 | ||||
| -rw-r--r-- | Delete.hs | 2 | ||||
| -rw-r--r-- | ListThm.hs | 2 | ||||
| -rw-r--r-- | ProofGraphMain.hs | 2 | ||||
| -rw-r--r-- | SemanticMain.hs | 2 | ||||
| -rw-r--r-- | Syntactic.hs | 2 | ||||
| -rw-r--r-- | WriteProofMain.hs | 2 |
7 files changed, 7 insertions, 7 deletions
@@ -1,4 +1,4 @@ -import System( getArgs ) +import System.Environment( getArgs ) import Text.Printf import Parse import ProofGraph @@ -1,4 +1,4 @@ -import System( getArgs ) +import System.Environment( getArgs ) import Text.Printf import Parse import ProofGraph @@ -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 |