Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick_kodkod.ML
changeset 59433 9da5b2c61049
parent 59058 a78612c67ec0
child 61325 1cfc476198c9 
--- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Sat Jan 24 21:37:31 2015 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Sat Jan 24 22:00:24 2015 +0100
@@ -303,7 +303,7 @@
 
 fun bound_comment ctxt debug nick T R =
   short_name nick ^
-  (if debug then " :: " ^ unyxml (Syntax.string_of_typ ctxt T) else "") ^
+  (if debug then " :: " ^ YXML.content_of (Syntax.string_of_typ ctxt T) else "") ^
   " : " ^ string_for_rep R
 
 fun bound_for_plain_rel ctxt debug (u as FreeRel (x, T, R, nick)) =
isabelle