src/Pure/ML-Systems/polyml_common.ML

 (*  Title:      Pure/ML-Systems/polyml_common.ML
     ID:         $Id$
 
 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";
 use "ML-Systems/system_shell.ML";

 
 
 
 (** interrupts **)
 
-exception Interrupt = SML90.Interrupt;
-
 local
 
 val sig_int = 2;
 val default_handler = Signal.SIG_HANDLE (fn _ => Process.interruptConsoleProcesses ());