--- a/src/Pure/ML-Systems/mosml.ML Sun May 31 17:45:53 2009 +0200
+++ b/src/Pure/ML-Systems/mosml.ML Sun May 31 17:47:04 2009 +0200
@@ -132,8 +132,6 @@
(*dummy implementation*)
fun exception_trace f = f ();
-(*dummy implementation*)
-fun print x = x;
(** Compiler-independent timing functions **)