# HG changeset patch
# User wenzelm
# Date 1185652860 -7200
# Node ID 9221b600dbb2de68213fac913ad079c6873eab2a
# Parent  22614d7b71bcf3f6358244e9601dc3640f051207
removed dead code;

diff -r 22614d7b71bc -r 9221b600dbb2 src/Pure/pure_thy.ML
--- a/src/Pure/pure_thy.ML	Sat Jul 28 22:00:59 2007 +0200
+++ b/src/Pure/pure_thy.ML	Sat Jul 28 22:01:00 2007 +0200
@@ -155,7 +155,6 @@
   fun copy (ref x) = ref x;
   val extend = mk_empty;
   fun merge _ = mk_empty;
-  fun print _ _ = ();
 end);
 
 val get_theorems_ref = TheoremsData.get;