--- a/src/Pure/ML-Systems/mosml.ML Fri Feb 15 20:43:09 2002 +0100
+++ b/src/Pure/ML-Systems/mosml.ML Fri Feb 15 20:43:44 2002 +0100
@@ -99,7 +99,6 @@
exception Interrupt;
fun mask_interrupt f x = f x;
-fun unmask_interrupt f x = f x;
fun exhibit_interrupt f x = f x;