src/Pure/pure_setup.ML

--- a/src/Pure/pure_setup.ML	Mon Oct 29 10:37:09 2007 +0100
+++ b/src/Pure/pure_setup.ML	Mon Oct 29 16:13:41 2007 +0100
@@ -44,4 +44,4 @@
 val cd = File.cd o Path.explode;
 ml_prompts "ML> " "ML# ";
 
-proofs := 0;
+Proofterm.proofs := 0;