Poplog/pml provides a proper print function already!
authorwenzelm
Tue, 13 Dec 2005 15:46:41 +0100
changeset 18392 fdefc3cd45c5
parent 18391 2e901da7cd3a
child 18393 af72cbfa00a5
Poplog/pml provides a proper print function already!
src/Pure/ML-Systems/poplogml.ML
--- 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;