changeset 24634 | 38db11874724 |
parent 24612 | d1b315bdb8d7 |
child 24707 | dfeb98f84e93 |
--- a/src/HOLCF/IOA/meta_theory/ioa_package.ML Tue Sep 18 18:05:34 2007 +0200 +++ b/src/HOLCF/IOA/meta_theory/ioa_package.ML Tue Sep 18 18:05:37 2007 +0200 @@ -19,8 +19,8 @@ structure IoaPackage: IOA_PACKAGE = struct -val string_of_typ = PrintMode.with_default o Sign.string_of_typ; -val string_of_term = PrintMode.with_default o Sign.string_of_term; +val string_of_typ = PrintMode.setmp [] o Sign.string_of_typ; +val string_of_term = PrintMode.setmp [] o Sign.string_of_term; exception malformed;