src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Mar 07 21:33:41 2016 +0100
+++ b/src/Pure/ROOT.ML	Mon Mar 07 21:53:21 2016 +0100
@@ -429,6 +429,4 @@
   Runtime.toplevel_program (fn () => Thy_Info.use_thys (map (rpair Position.none) args));
 val use_thy = use_thys o single;
 
-val cd = File.cd o Path.explode;
-
 Proofterm.proofs := 0;