| changeset 37981 | 9a15982f41fe |
| parent 37977 | 3ceccd415145 |
| child 38228 | ada3ab6b9085 |
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML Tue Jul 27 22:42:53 2010 +0200 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML Tue Jul 27 23:01:42 2010 +0200 @@ -116,7 +116,7 @@ fun trace_action action name = if action = Thy_Info.Update then List.app tell_file_loaded (Thy_Info.loaded_files name) - else if action = Thy_Info.Outdate orelse action = Thy_Info.Remove then + else if action = Thy_Info.Remove then List.app tell_file_retracted (Thy_Info.loaded_files name) else ();