src/Pure/ML-Systems/smlnj.ML
changeset 17529 a436d89845af
parent 17511 51314f4bd01d
child 17763 6f933b702f44
     1.1 --- a/src/Pure/ML-Systems/smlnj.ML	Tue Sep 20 20:16:55 2005 +0200
     1.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Tue Sep 20 21:09:41 2005 +0200
     1.3 @@ -69,12 +69,6 @@
     1.4  (*dummy implementation*)
     1.5  fun exception_trace f = f ();
     1.6  
     1.7 -(case #version_id (Compiler.version) of
     1.8 -  [110, x] => if x >= 44
     1.9 -              then use "ML-Systems/smlnj-basis-compat.ML"
    1.10 -              else ()
    1.11 -| _ => ());
    1.12 -
    1.13  
    1.14  (* toplevel pretty printing (see also Pure/install_pp.ML) *)
    1.15  
    1.16 @@ -143,6 +137,12 @@
    1.17  
    1.18  end;
    1.19  
    1.20 +(case #version_id (Compiler.version) of
    1.21 +  [110, x] => if x >= 44
    1.22 +              then use "ML-Systems/smlnj-basis-compat.ML"
    1.23 +              else ()
    1.24 +| _ => ());
    1.25 +
    1.26  
    1.27  (** Signal handling: emulation of the Poly/ML Signal structure. Note that types
    1.28      Posix.Signal.signal and Signals.signal differ **)