src/Pure/locale.ML

           else if ngoals > maxgoals then
             pretty_subgoals (take (maxgoals, As)) @
               [Pretty.str ("A total of " ^ string_of_int ngoals ^ " subgoals...")]
           else pretty_subgoals As) @
         pretty_ffpairs tpairs @
-        (if types andalso ! show_consts then pretty_consts prop else []) @
+        (if ! show_consts then pretty_consts prop else []) @
         (if types then pretty_vars prop else []) @
         (if sorts then pretty_varsT prop else []);
     in
       setmp show_no_free_types true
         (setmp show_types (! show_types orelse ! show_sorts)