| changeset 18384 | fa38cca42913 |
| parent 17824 | 36b2978d339a |
| child 18760 | 97aaecb84afe |
--- 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) *)