From ae0f988490cde70c097a8b04b85cb68e67ace0d6 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 9 Aug 2012 10:00:00 +1000 Subject: Fixed getArgs error when compiling with GHC 7+ --- Concat.hs | 2 +- Delete.hs | 2 +- ListThm.hs | 2 +- ProofGraphMain.hs | 2 +- SemanticMain.hs | 2 +- Syntactic.hs | 2 +- WriteProofMain.hs | 2 +- 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 -- cgit