# HG changeset patch
# User wenzelm
# Date 1118329083 -7200
# Node ID 06059ee940b6119e4a2a6b05755d5409368335c5
# Parent  6f0ca9628840040796c9c8974a373d0f01e06c5b
full Display.pprint_theory for ML toplevel facilitates debugging;

diff -r 6f0ca9628840 -r 06059ee940b6 src/Pure/install_pp.ML
--- a/src/Pure/install_pp.ML	Thu Jun 09 16:56:42 2005 +0200
+++ b/src/Pure/install_pp.ML	Thu Jun 09 16:58:03 2005 +0200
@@ -4,7 +4,7 @@
 Set up automatic toplevel pretty printing.
 *)
 
-install_pp (make_pp ["Theory", "theory"] ThyInfo.pprint_theory);
+install_pp (make_pp ["Theory", "theory"] Display.pprint_theory);
 install_pp (make_pp ["Thm", "thm"] Display.pprint_thm);
 install_pp (make_pp ["Thm", "cterm"] Display.pprint_cterm);
 install_pp (make_pp ["Thm", "ctyp"] Display.pprint_ctyp);