src/Pure/ML-Systems/polyml-posix.ML

--- a/src/Pure/ML-Systems/polyml-posix.ML	Wed May 30 23:32:54 2007 +0200
+++ b/src/Pure/ML-Systems/polyml-posix.ML	Thu May 31 01:25:24 2007 +0200
@@ -4,20 +4,6 @@
 Posix patches for Poly/ML.
 *)
 
-structure OriginalPosix = Posix;
-structure OriginalIO = Posix.IO;
-
-structure Posix =
-struct
-  open OriginalPosix
-  structure IO =
-  struct
-  open OriginalIO
-  val mkTextReader = mkReader
-  val mkTextWriter = mkWriter
-  end;
-end;
-
 (*This extension of the Poly/ML Signal structure is only necessary
   because in SML/NJ, types Posix.Signal.signal and Signals.signal differ.*)
 structure IsaSignal =