changed SML/NJ v 45 to 44

--- 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...
 *)

--- 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");