# HG changeset patch
# User wenzelm
# Date 1243784824 -7200
# Node ID fe786d4633b9fe5e77e0f8eed08e5ff089c9cda0
# Parent  72eeb1b4e006c42bd049b7e549497f5fea11dd56
eliminated misleading dummy versions of print/makestring, cf. 6974449ddea9;

diff -r 72eeb1b4e006 -r fe786d4633b9 src/Pure/ML-Systems/mosml.ML
--- 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 **)
diff -r 72eeb1b4e006 -r fe786d4633b9 src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Sun May 31 17:45:53 2009 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Sun May 31 17:47:04 2009 +0200
@@ -92,12 +92,6 @@
 (*dummy implementation*)
 fun exception_trace f = f ();
 
-(*dummy implementation*)
-fun print x = x;
-
-(*dummy implementation*)
-fun makestring x = "dummy string for SML New Jersey";
-
 
 (* ML command execution *)