Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PrintMode.setmp (avoid direct access to print_mode ref);
authorwenzelm
Tue, 18 Dec 2007 19:54:30 +0100
changeset 25696 c2058af6d9bc
parent 25695 7025a263aa49
child 25697 a4b7eb4e20fd
PrintMode.setmp (avoid direct access to print_mode ref);
src/HOL/Statespace/state_space.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Statespace/state_space.ML	Tue Dec 18 19:15:31 2007 +0100
+++ b/src/HOL/Statespace/state_space.ML	Tue Dec 18 19:54:30 2007 +0100
@@ -465,7 +465,7 @@
 
    fun string_of_typ T = 
       setmp show_sorts true 
-       (setmp print_mode [] (Syntax.string_of_typ (ProofContext.init thy))) T;
+       (PrintMode.setmp [] (Syntax.string_of_typ (ProofContext.init thy))) T;
    val fixestate = (case state_type of
          NONE => []
        | SOME s =>
isabelle