--- a/src/Pure/ML-Systems/poplogml.ML Tue Dec 13 15:34:21 2005 +0100+++ b/src/Pure/ML-Systems/poplogml.ML Tue Dec 13 15:46:41 2005 +0100@@ -24,7 +24,6 @@ fun print_depth _ = (); fun exception_trace f = f ();-fun print x = x; fun profile (n: int) f x = f x;