--- a/src/HOLCF/IOA/meta_theory/ioa_package.ML Sat May 17 23:53:20 2008 +0200
+++ b/src/HOLCF/IOA/meta_theory/ioa_package.ML Sun May 18 15:04:09 2008 +0200
@@ -19,8 +19,8 @@
structure IoaPackage: IOA_PACKAGE =
struct
-val string_of_typ = PrintMode.setmp [] o Sign.string_of_typ;
-val string_of_term = PrintMode.setmp [] o Sign.string_of_term;
+val string_of_typ = PrintMode.setmp [] o Syntax.string_of_typ_global;
+val string_of_term = PrintMode.setmp [] o Syntax.string_of_term_global;
exception malformed;