| changeset 1089 | e679617661bc |
| parent 922 | 196ca0973a6d |
| child 1509 | 7f693bb0d7dd |
--- a/src/Pure/Syntax/printer.ML Wed May 03 13:35:09 1995 +0200 +++ b/src/Pure/Syntax/printer.ML Wed May 03 13:40:19 1995 +0200 @@ -115,7 +115,7 @@ (* term_to_ast *) fun term_to_ast trf tm = - ast_of_term trf (! show_types) (! show_sorts) tm; + ast_of_term trf (!show_types orelse !show_sorts) (!show_sorts) tm; (* typ_to_ast *)