src/Pure/pure_setup.ML

--- a/src/Pure/pure_setup.ML	Wed Oct 12 09:16:30 2011 +0200
+++ b/src/Pure/pure_setup.ML	Wed Oct 12 16:21:07 2011 +0200
@@ -57,6 +57,3 @@
 
 Proofterm.proofs := 0;
 
-(*legacy*)
-structure ProofContext = Proof_Context;
-