src/HOL/Tools/inductive_codegen.ML
changeset 26939 1035c89b4c02
parent 26931 aa226d8405a8
child 26975 103dca19ef2e
     1.1 --- a/src/HOL/Tools/inductive_codegen.ML	Sat May 17 23:53:20 2008 +0200
     1.2 +++ b/src/HOL/Tools/inductive_codegen.ML	Sun May 18 15:04:09 2008 +0200
     1.3 @@ -210,7 +210,7 @@
     1.4            end)
     1.5              (if is_set then [Mode (([], []), [], [])]
     1.6               else modes_of modes t handle Option =>
     1.7 -               error ("Bad predicate: " ^ Sign.string_of_term thy t))
     1.8 +               error ("Bad predicate: " ^ Syntax.string_of_term_global thy t))
     1.9        | Sidecond t => if term_vs t subset vs then SOME (Mode (([], []), [], []))
    1.10            else NONE) ps);
    1.11