src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Aug 08 20:47:12 2011 +0200
+++ b/src/Pure/ROOT.ML	Mon Aug 08 21:11:10 2011 +0200
@@ -175,7 +175,7 @@
 use "Proof/reconstruct.ML";
 use "Proof/proof_syntax.ML";
 use "Proof/proof_rewrite_rules.ML";
-use "Proof/proofchecker.ML";
+use "Proof/proof_checker.ML";
 
 (*outer syntax*)
 use "Isar/token.ML";