src/Pure/ML-Systems/polyml.ML

--- a/src/Pure/ML-Systems/polyml.ML	Tue Apr 12 13:38:08 2005 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Wed Apr 13 09:48:41 2005 +0200
@@ -179,3 +179,14 @@
   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 =
+struct
+open Signal
+val usr1 = Posix.Signal.usr1 
+val usr2 = Posix.Signal.usr2 
+end;
+