# HG changeset patch
# User wenzelm
# Date 1204827689 -3600
# Node ID 227fcadd4be1620c16cc4af1eb81120a25c3125b
# Parent  c7d0cd2c7715d79089cbe69aafe47e1996ccaea7
obsolete (cf. ML-Systems/polyml_common.ML);

diff -r c7d0cd2c7715 -r 227fcadd4be1 src/Pure/ML-Systems/polyml-posix.ML
--- a/src/Pure/ML-Systems/polyml-posix.ML	Thu Mar 06 19:21:28 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-(*  Title:      Pure/ML-Systems/polyml-posix.ML
-    ID:         $Id$
-
-Posix patches for Poly/ML.
-*)
-
-(*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 =
-struct
-  open Signal
-  val usr1 = Posix.Signal.usr1
-  val usr2 = Posix.Signal.usr2
-  val alrm = Posix.Signal.alrm
-  val chld = Posix.Signal.chld
-  val cont = Posix.Signal.cont
-  val int  = Posix.Signal.int
-  val quit = Posix.Signal.quit
-end;