src/HOLCF/IOA/meta_theory/automaton.ML
changeset 37146 f652333bbf8e
parent 36960 01594f816e3a
child 37391 476270a6c2dc
     1.1 --- a/src/HOLCF/IOA/meta_theory/automaton.ML	Thu May 27 17:41:27 2010 +0200
     1.2 +++ b/src/HOLCF/IOA/meta_theory/automaton.ML	Thu May 27 18:10:37 2010 +0200
     1.3 @@ -18,8 +18,8 @@
     1.4  structure Automaton: AUTOMATON =
     1.5  struct
     1.6  
     1.7 -val string_of_typ = PrintMode.setmp [] o Syntax.string_of_typ_global;
     1.8 -val string_of_term = PrintMode.setmp [] o Syntax.string_of_term_global;
     1.9 +val string_of_typ = Print_Mode.setmp [] o Syntax.string_of_typ_global;
    1.10 +val string_of_term = Print_Mode.setmp [] o Syntax.string_of_term_global;
    1.11  
    1.12  exception malformed;
    1.13