# 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;