diff -r 01aa36932739 -r f652333bbf8e src/HOLCF/IOA/meta_theory/automaton.ML
--- a/src/HOLCF/IOA/meta_theory/automaton.ML	Thu May 27 17:41:27 2010 +0200
+++ b/src/HOLCF/IOA/meta_theory/automaton.ML	Thu May 27 18:10:37 2010 +0200
@@ -18,8 +18,8 @@
 structure Automaton: AUTOMATON =
 struct
 
-val string_of_typ = PrintMode.setmp [] o Syntax.string_of_typ_global;
-val string_of_term = PrintMode.setmp [] o Syntax.string_of_term_global;
+val string_of_typ = Print_Mode.setmp [] o Syntax.string_of_typ_global;
+val string_of_term = Print_Mode.setmp [] o Syntax.string_of_term_global;
 
 exception malformed;