src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Oct 13 20:29:30 2014 +0200
+++ b/src/Pure/ROOT.ML	Mon Oct 13 20:51:48 2014 +0200
@@ -181,7 +181,6 @@
 use "pattern.ML";
 use "unify.ML";
 use "theory.ML";
-use "interpretation.ML";
 use "proofterm.ML";
 use "thm.ML";
 use "more_thm.ML";