diff -r bd9573735bdd -r de653f1ad78b src/Pure/ML-Systems/polyml_common.ML
--- a/src/Pure/ML-Systems/polyml_common.ML	Wed Oct 01 12:00:01 2008 +0200
+++ b/src/Pure/ML-Systems/polyml_common.ML	Wed Oct 01 12:00:02 2008 +0200
@@ -4,6 +4,8 @@
 Compatibility file for Poly/ML -- common part for 4.x and 5.x.
 *)
 
+exception Interrupt = SML90.Interrupt;
+
 use "ML-Systems/exn.ML";
 use "ML-Systems/multithreading.ML";
 use "ML-Systems/time_limit.ML";
@@ -93,8 +95,6 @@
 
 (** interrupts **)
 
-exception Interrupt = SML90.Interrupt;
-
 local
 
 val sig_int = 2;