src/HOL/Tools/etc/options

--- a/src/HOL/Tools/etc/options	Sat Jun 28 22:13:23 2014 +0200
+++ b/src/HOL/Tools/etc/options	Sun Jun 29 18:28:27 2014 +0200
@@ -36,4 +36,4 @@
   -- "status of Z3 activation for non-commercial use (yes, no, unknown)"
 
 public option MaSh : string = "sml"
-  -- "machine learning engine to use by Sledgehammer (sml, sml_knn, sml_nb, py, none)"
+  -- "machine learning engine to use by Sledgehammer (sml, nb, knn, none)"