--- a/src/Pure/goal_display.ML Mon May 27 20:09:20 2013 +0200
+++ b/src/Pure/goal_display.ML Mon May 27 22:26:08 2013 +0200
@@ -71,10 +71,7 @@
let
val ctxt = ctxt0
|> Config.put show_free_types false
- |> Config.put show_types
- (Config.get ctxt0 show_types orelse
- Config.get ctxt0 show_sorts orelse
- Config.get ctxt0 show_all_types)
+ |> Config.put show_types (Config.get ctxt0 show_types orelse Config.get ctxt0 show_sorts)
|> Config.put show_sorts false;
val show_sorts0 = Config.get ctxt0 show_sorts;