# HG changeset patch
# User wenzelm
# Date 1127243381 -7200
# Node ID a436d89845af124e122fc3a7e74839c9458d76fa
# Parent  2a602a8462d5e0dd9dd00c1c0fb9633de0740a04
use "ML-Systems/smlnj-basis-compat.ML" *after* Interrupt;

diff -r 2a602a8462d5 -r a436d89845af src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Tue Sep 20 20:16:55 2005 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Tue Sep 20 21:09:41 2005 +0200
@@ -69,12 +69,6 @@
 (*dummy implementation*)
 fun exception_trace f = f ();
 
-(case #version_id (Compiler.version) of
-  [110, x] => if x >= 44
-              then use "ML-Systems/smlnj-basis-compat.ML"
-              else ()
-| _ => ());
-
 
 (* toplevel pretty printing (see also Pure/install_pp.ML) *)
 
@@ -143,6 +137,12 @@
 
 end;
 
+(case #version_id (Compiler.version) of
+  [110, x] => if x >= 44
+              then use "ML-Systems/smlnj-basis-compat.ML"
+              else ()
+| _ => ());
+
 
 (** Signal handling: emulation of the Poly/ML Signal structure. Note that types
     Posix.Signal.signal and Signals.signal differ **)