# HG changeset patch
# User wenzelm
# Date 971904402 -7200
# Node ID d8c968e6329ae88cd90d8fdaf4c0009f5ea0157a
# Parent  87771e2f49fe4f8ff746aa7b835910a1b8d55edf
restart: do not reset theory loader path;

diff -r 87771e2f49fe -r d8c968e6329a src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Wed Oct 18 23:24:39 2000 +0200
+++ b/src/Pure/Interface/proof_general.ML	Wed Oct 18 23:26:42 2000 +0200
@@ -204,8 +204,7 @@
   tell_clear_response ();
   welcome ());
 
-fun restart_loader () =
-  (ThyInfo.touch_all_thys (); ThyLoad.reset_path ());
+fun restart_loader () = ThyInfo.touch_all_thys (); (* FIXME ThyLoad.reset_path (!?) *)
 
 in