src/Pure/ML-Systems/mosml.ML

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