src/Pure/proof_general.ML
changeset 17959 8db36a108213
parent 17739 eddebb044a62
child 18130 108ed679cf5a
     1.1 --- a/src/Pure/proof_general.ML	Fri Oct 21 18:14:37 2005 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Fri Oct 21 18:14:38 2005 +0200
     1.3 @@ -370,7 +370,7 @@
     1.4  val help = welcome;
     1.5  val show_context = Context.the_context;
     1.6  
     1.7 -fun kill_goal () = (Goals.reset_goals (); tell_clear_goals ());
     1.8 +fun kill_goal () = (OldGoals.reset_goals (); tell_clear_goals ());
     1.9  
    1.10  fun no_print_goals f = setmp Display.print_current_goals_fn (fn _ => fn _ => fn _ => ()) f;
    1.11