src/HOL/Statespace/state_space.ML
changeset 37146 f652333bbf8e
parent 36960 01594f816e3a
child 38350 480b2de9927c
     1.1 --- a/src/HOL/Statespace/state_space.ML	Thu May 27 17:41:27 2010 +0200
     1.2 +++ b/src/HOL/Statespace/state_space.ML	Thu May 27 18:10:37 2010 +0200
     1.3 @@ -439,7 +439,7 @@
     1.4  
     1.5     fun string_of_typ T =
     1.6        setmp_CRITICAL show_sorts true
     1.7 -       (PrintMode.setmp [] (Syntax.string_of_typ (ProofContext.init_global thy))) T;
     1.8 +       (Print_Mode.setmp [] (Syntax.string_of_typ (ProofContext.init_global thy))) T;
     1.9     val fixestate = (case state_type of
    1.10           NONE => []
    1.11         | SOME s =>