1 files changed, 1 insertions, 1 deletions

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