added dummy 'print' to non-polyml systems

--- a/src/Pure/ML-Systems/mosml.ML	Sun Dec 11 11:57:01 2005 +0100
+++ b/src/Pure/ML-Systems/mosml.ML	Mon Dec 12 15:36:46 2005 +0100
@@ -82,9 +82,12 @@
 (*dummy implementation*)
 fun profile (n: int) f x = f x;
 
-(*dummy impelemtation*)
+(*dummy implementation*)
 fun exception_trace f = f ();
 
+(*dummy implementation*)
+fun print x = x;
+
 
 (** Compiler-independent timing functions **)
 

--- a/src/Pure/ML-Systems/poplogml.ML	Sun Dec 11 11:57:01 2005 +0100
+++ b/src/Pure/ML-Systems/poplogml.ML	Mon Dec 12 15:36:46 2005 +0100
@@ -24,6 +24,7 @@
 fun print_depth _ = ();
 
 fun exception_trace f = f ();
+fun print x = x;
 fun profile (n: int) f x = f x;
 
 

--- a/src/Pure/ML-Systems/smlnj.ML	Sun Dec 11 11:57:01 2005 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML	Mon Dec 12 15:36:46 2005 +0100
@@ -69,6 +69,8 @@
 (*dummy implementation*)
 fun exception_trace f = f ();
 
+(*dummy implementation*)
+fun print x = x;
 
 (* toplevel pretty printing (see also Pure/install_pp.ML) *)