diff -r 1f92518fbabe -r d1b315bdb8d7 src/HOLCF/IOA/meta_theory/ioa_package.ML
--- a/src/HOLCF/IOA/meta_theory/ioa_package.ML	Mon Sep 17 16:06:35 2007 +0200
+++ b/src/HOLCF/IOA/meta_theory/ioa_package.ML	Mon Sep 17 16:36:41 2007 +0200
@@ -19,8 +19,8 @@
 structure IoaPackage: IOA_PACKAGE =
 struct
 
-val string_of_typ = setmp print_mode [] o Sign.string_of_typ;
-val string_of_term = setmp print_mode [] o Sign.string_of_term;
+val string_of_typ = PrintMode.with_default o Sign.string_of_typ;
+val string_of_term = PrintMode.with_default o Sign.string_of_term;
 
 exception malformed;