src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Thu Jun 27 20:09:39 2013 +0200
+++ b/src/Pure/ROOT.ML	Thu Jun 27 23:17:26 2013 +0200
@@ -341,6 +341,5 @@
 
 val cd = File.cd o Path.explode;
 
-Proofterm.proofs := 0;
 Multithreading.max_threads := 0;