--- a/src/Pure/ML-Systems/proper_int.ML Fri Oct 03 21:06:37 2008 +0200
+++ b/src/Pure/ML-Systems/proper_int.ML Fri Oct 03 21:06:38 2008 +0200
@@ -193,18 +193,3 @@
fun fmt a b = Time.fmt (dest_int a) b;
end;
-
-(* Posix *)
-
-structure Posix =
-struct
- open Posix;
- structure IO =
- struct
- open IO;
- fun mkTextWriter {appendMode, chunkSize, fd, initBlkMode, name} =
- IO.mkTextWriter {appendMode = appendMode, chunkSize = dest_int chunkSize,
- fd = fd, initBlkMode = initBlkMode, name = name};
- end;
-end;
-