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/BNF/bnf_lfp_compat.ML
changeset 56002 2028467b4df4
parent 55966 972f0aa7091b
child 56452 0c98c9118407 
--- a/src/HOL/Tools/BNF/bnf_lfp_compat.ML	Sun Mar 09 15:21:08 2014 +0100
+++ b/src/HOL/Tools/BNF/bnf_lfp_compat.ML	Sun Mar 09 16:37:56 2014 +0100
@@ -33,7 +33,7 @@
       error ("{" ^ commas ss ^ "} is not a complete set of mutually recursive new-style datatypes");
 
     val fpT_names =
-      map (fst o dest_Type o Proof_Context.read_type_name lthy {proper = true, strict = false})
+      map (fst o dest_Type o Proof_Context.read_type_name {proper = true, strict = false} lthy)
         raw_fpT_names;
 
     fun lfp_sugar_of s =
isabelle