# HG changeset patch
# User blanchet
# Date 1421700896 -3600
# Node ID eb3d8e7b4b219bf8fdc429636706de5cf7dabc9e
# Parent  a8bb88ce59dc3d4b5e8b8ce9686b20940d1fdb24
typo in description

diff -r a8bb88ce59dc -r eb3d8e7b4b21 src/Tools/adhoc_overloading.ML
--- a/src/Tools/adhoc_overloading.ML	Mon Jan 19 21:24:47 2015 +0100
+++ b/src/Tools/adhoc_overloading.ML	Mon Jan 19 21:54:56 2015 +0100
@@ -239,7 +239,7 @@
 
 val _ =
   Outer_Syntax.local_theory @{command_spec "no_adhoc_overloading"}
-    "add adhoc overloading for constants / fixed variables"
+    "delete adhoc overloading for constants / fixed variables"
     (Parse.and_list1 (Parse.const -- Scan.repeat Parse.term) >> adhoc_overloading_cmd false);
 
 end;