# HG changeset patch
# User paulson
# Date 1082629893 -7200
# Node ID 765badface6a7f9be64fd071d872e80a29224cee
# Parent  8a95abf87dd3f1effd18676efa833fef253a47bb
changed SML/NJ v 45 to 44

diff -r 8a95abf87dd3 -r 765badface6a src/Pure/ML-Systems/smlnj-basis-compat.ML
--- a/src/Pure/ML-Systems/smlnj-basis-compat.ML	Thu Apr 22 12:19:40 2004 +0200
+++ b/src/Pure/ML-Systems/smlnj-basis-compat.ML	Thu Apr 22 12:31:33 2004 +0200
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Sebastian Skalberg (TU Muenchen)
 
-Compatibility file for Standard ML of New Jersey 110.45 or later. Here
+Compatibility file for Standard ML of New Jersey 110.44 or later. Here
 signatures that have changed to adhere to the SML Basis Library are
 changed back to their old values. So much for standards...
 *)
diff -r 8a95abf87dd3 -r 765badface6a src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Thu Apr 22 12:19:40 2004 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Thu Apr 22 12:31:33 2004 +0200
@@ -43,7 +43,7 @@
 (* compiler-independent timing functions *)
 
 (case #version_id (Compiler.version) of
-  [110, x] => if x >= 45
+  [110, x] => if x >= 44
 	      then use "ML-Systems/cpu-timer-basis.ML"
 	      else use "ML-Systems/cpu-timer-gc.ML"
 | _ => use "ML-Systems/cpu-timer-gc.ML");
@@ -56,7 +56,7 @@
 
 
 (case #version_id (Compiler.version) of
-  [110, x] => if x >= 45
+  [110, x] => if x >= 44
 	      then use "ML-Systems/smlnj-basis-compat.ML"
 	      else ()
 | _ => ());
@@ -64,7 +64,7 @@
 (* toplevel pretty printing (see also Pure/install_pp.ML) *)
 
 (case #version_id (Compiler.version) of
-  [110, x] => if x >= 45
+  [110, x] => if x >= 44
 	      then use "ML-Systems/smlnj-pp-new.ML"
 	      else use "ML-Systems/smlnj-pp-old.ML"
 | _ => use "ML-Systems/smlnj-pp-old.ML");