tuned message;
authorwenzelm
Wed Sep 02 18:14:10 2015 +0200 (2015-09-02 ago)
changeset 61086fc7ab11128dc
parent 61085 30b0c4584244
child 61087 1e36b5d021f2
tuned message;
src/Pure/Isar/isar_cmd.ML
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Wed Sep 02 17:25:14 2015 +0200
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Wed Sep 02 18:14:10 2015 +0200
     1.3 @@ -143,7 +143,8 @@
     1.4  (* old-style defs *)
     1.5  
     1.6  fun add_defs ((unchecked, overloaded), args) thy =
     1.7 - (legacy_feature "Old 'defs' command -- use 'definition' (with 'overloading') instead";
     1.8 + (legacy_feature ("Old 'defs' command -- use 'definition' (with 'overloading') instead" ^
     1.9 +    Position.here (Position.thread_data ()));
    1.10    thy |>
    1.11      (if unchecked then Global_Theory.add_defs_unchecked_cmd else Global_Theory.add_defs_cmd)
    1.12        overloaded