1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Jul 18 08:44:04 2012 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Jul 18 08:44:05 2012 +0200
     1.3 @@ -388,7 +388,7 @@
     1.4      else if subcommand = running_learnersN then
     1.5        running_learners ()
     1.6      else if subcommand = unlearnN then
     1.7 -      mash_reset ctxt
     1.8 +      mash_unlearn ctxt
     1.9      else if subcommand = refresh_tptpN then
    1.10        refresh_systems_on_tptp ()
    1.11      else